Pages that link to "Item:Q2784480"
From MaRDI portal
The following pages link to Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy (Q2784480):
Displayed 6 items.
- Varieties (Q2074217) (← links)
- Characterizing CTL-like logics on finite trees. (Q2490815) (← links)
- EF+EX Forest Algebras (Q2947153) (← links)
- A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS (Q3538848) (← links)
- On Shuffle Ideals (Q4405554) (← links)
- Locality and Centrality: The Variety ZG (Q6076180) (← links)