Program schemata and the first-order decision problem

DOI10.1016/S0022-0000(74)80023-1MaRDI QIDQ1213300zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3715502 (Why is no real title available?)
• scientific article; zbMATH DE number 3204624 (Why is no real title available?)
• scientific article; zbMATH DE number 3259053 (Why is no real title available?)
• scientific article; zbMATH DE number 3349763 (Why is no real title available?)
• Inductive methods for proving properties of programs
• On formalised computer programs
• Properties of Programs and the First-Order Predicate Calculus
• Solvable cases of the decision problem

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1213300)