Function iteration logics and flowchart schemata
From MaRDI portal
Publication:1226854
DOI10.1007/BF02246433zbMath0328.68017MaRDI QIDQ1226854
Publication date: 1975
Published in: Computing (Search for Journal in Brave)
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata
03B10: Classical first-order logic
68N01: General topics in the theory of software
68W99: Algorithms in computer science
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Program schemes, recursion schemes, and formal languages
- On formalised computer programs
- Translating recursion equations into flow charts
- Program Schemes with Pushdown Stores
- Properties of Programs and the First-Order Predicate Calculus
- Algorithmic properties of structures
- The Equivalence Problem of Simple Programs
- On Classes of Program Schemata
- Flow Graph Reducibility