The following pages link to (Q4791853):
Displaying 9 items.
- On regular temporal logics with past (Q977176) (← links)
- Partially Ordered Two-Way Büchi Automata (Q3073637) (← links)
- Size-Change Termination and Satisfiability for Linear-Time Temporal Logics (Q3172880) (← links)
- Automata Theory and Model Checking (Q3176362) (← links)
- EXTENDED TEMPORAL LOGICS ON FINITE TREES (Q4922672) (← links)
- On the Model Checking Problem for Some Extension of CTL* (Q5060078) (← links)
- Propositional Dynamic Logic for Hyperproperties (Q5089318) (← links)
- On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic (Q5870862) (← links)
- Temporal logics with language parameters (Q6186316) (← links)