Recursive converters on a memory
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3140027 (Why is no real title available?)
- scientific article; zbMATH DE number 3471979 (Why is no real title available?)
- scientific article; zbMATH DE number 3483572 (Why is no real title available?)
- scientific article; zbMATH DE number 3309679 (Why is no real title available?)
- A contribution to the development of ALGOL
- A programming technique for recursive procedures
- Inductive methods for proving properties of programs
- On Classes of Program Schemata
- Program equivalence and context-free grammars
- Recursive functions of symbolic expressions and their computation by machine, Part I
- The equivalence problem for deterministic two-tape automata
- The programming language Pascal
- Translating recursion equations into flow charts
- Tree-Manipulating Systems and Church-Rosser Theorems
This page was built for publication: Recursive converters on a memory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3885193)