Inductive definability in formal language theory
From MaRDI portal
Publication:1245578
DOI10.1016/0022-0000(78)90025-9zbMath0376.68054OpenAlexW1971310285MaRDI QIDQ1245578
Publication date: 1978
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(78)90025-9
Cites Work
- Unnamed Item
- Generalized recursion theory. Proceedings of the 1972 Oslo symposium
- WCS-analysis of the context-sensitive
- A note on degrees of context-sensitivity
- Weakly-context-sensitive languages as model for programming-languages
- Semantics of context-free languages
- Semirecursive Sets and Positive Reducibility
- Abstract Computability and Invariant Definability