Recursive converters on a memory
From MaRDI portal
Publication:3885193
DOI10.1007/BF01070274zbMath0442.68042OpenAlexW1966152527MaRDI QIDQ3885193
Publication date: 1978
Published in: Cybernetics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01070274
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The equivalence problem for deterministic two-tape automata
- Program equivalence and context-free grammars
- The programming language Pascal
- Translating recursion equations into flow charts
- Recursive functions of symbolic expressions and their computation by machine, Part I
- A programming technique for recursive procedures
- Inductive methods for proving properties of programs
- A contribution to the development of ALGOL
- On Classes of Program Schemata
- Tree-Manipulating Systems and Church-Rosser Theorems
This page was built for publication: Recursive converters on a memory