The following pages link to (Q4874660):
Displaying 6 items.
- Existential MSO over two successors is strictly weaker than over linear orders (Q837190) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Axiomatizing the identities of binoid languages (Q870834) (← links)
- Regular binoid expressions and regular binoid languages. (Q1401404) (← links)
- Equivalence of regular binoid expressions and regular expressions denoting binoid languages over free binoids (Q1884948) (← links)
- MSO definable text languages (Q5096900) (← links)
