The following pages link to Extended Computation Tree Logic (Q4933296):
Displaying 7 items.
- Branching-time logics with path relativisation (Q386037) (← links)
- Semantics of infinite tree logic programming (Q1090469) (← links)
- Axiomatising extended computation tree logic (Q1389439) (← links)
- Temporal logics with language parameters (Q2232279) (← links)
- Graded Computation Tree Logic with Binary Coding (Q3586038) (← links)
- Branching-time logics and fairness, revisited (Q5084315) (← links)
- Min-max Computation Tree Logic (Q5940962) (← links)