Program schemata and the first-order decision problem

DOI10.1016/S0022-0000(74)80023-1zbMath0295.68013OpenAlexW2039590975MaRDI QIDQ1213300

Harry R. Lewis

Publication date: 1974

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(74)80023-1

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items (2)

Description of restricted automata by first-order formulae ⋮ Modifications of the program scheme model

Cites Work

• On formalised computer programs
• Solvable cases of the decision problem
• Inductive methods for proving properties of programs
• Properties of Programs and the First-Order Predicate Calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Program schemata and the first-order decision problem