Pages that link to "Item:Q685376"
From MaRDI portal
The following pages link to T-structures, T-functions, and texts (Q685376):
Displaying 7 items.
- Existential MSO over two successors is strictly weaker than over linear orders (Q837190) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Context-free text grammars (Q1323383) (← links)
- Monadic second-order definable text languages (Q1361884) (← links)
- Permutations, parenthesis words, and Schröder numbers (Q1584395) (← links)
- Weighted automata (Q2074206) (← links)
- Embedding linear orders in grids (Q2491206) (← links)
