The following pages link to (Q4036584):
Displaying 5 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Subshifts as models for MSO logic (Q384929) (← links)
- Existential MSO over two successors is strictly weaker than over linear orders (Q837190) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Expressive power of existential first-order sentences of Büchi's sequential calculus (Q1772275) (← links)
