Pages that link to "Item:Q5234701"
From MaRDI portal
The following pages link to Alternating automata: Unifying truth and validity checking for temporal logics (Q5234701):
Displayed 6 items.
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- Taming past LTL and flat counter systems (Q2346416) (← links)
- Alternating automata and temporal logic normal forms (Q2488275) (← links)
- Model Theoretic Syntax and Parsing (Q4923571) (← links)
- Incremental reasoning on monadic second-order logics with logic programming (Q5963088) (← links)
- Temporal logics with language parameters (Q6186316) (← links)