Pages that link to "Item:Q2490815"
From MaRDI portal
The following pages link to Characterizing CTL-like logics on finite trees. (Q2490815):
Displayed 5 items.
- Recognisability for algebras of infinite trees (Q551167) (← links)
- Algebra for trees (Q2074223) (← links)
- Aperiodicity in Tree Automata (Q3522867) (← links)
- ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES (Q3561120) (← links)
- Games for Temporal Logics on Trees (Q3602814) (← links)