Pages that link to "Item:Q2207016"
From MaRDI portal
The following pages link to On undecidability of concatenation theory for one-symbol languages (Q2207016):
Displaying 4 items.
- On interpretability in the theory of concatenation (Q1038606) (← links)
- On decidability of theories of regular languages (Q2043872) (← links)
- Conjunctive grammars over a unary alphabet: Undecidability and unbounded growth (Q2268341) (← links)
- On undecidability of subset theories of some unars (Q6575359) (← links)