Stack and locally finite transformations on structures with reversible transitions
From MaRDI portal
Publication:3332226
DOI10.1007/BF01070102zbMath0543.68007OpenAlexW2006782631MaRDI QIDQ3332226
Publication date: 1983
Published in: Cybernetics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01070102
Related Items (1)
Cites Work
- A system which automatically improves programs
- Structural equivalence of context-free grammars
- Notes on recursion elimination
- An efficient machine-independent procedure for garbage collection in various list structures
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Stack and locally finite transformations on structures with reversible transitions