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):
Displaying 7 items.
- An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic (Q1854353) (← links)
- 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)