Function iteration logics and flowchart schemata

DOI10.1007/BF02246433zbMath0328.68017MaRDI QIDQ1226854

John C. Cherniavsky

Publication date: 1975

Published in: Computing (Search for Journal in Brave)

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Classical first-order logic (03B10) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

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

This page was built for publication: Function iteration logics and flowchart schemata