Pages that link to "Item:Q555655"
From MaRDI portal
The following pages link to Logic and games on automatic structures. Playing with quantifiers and decompositions (Q555655):
Displaying 6 items.
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Cardinality and counting quantifiers on omega-automatic structures (Q4910735) (← links)
- The Ceteris Paribus Structure of Logics of Game Forms (Q5253769) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)