scientific article; zbMATH DE number 3860379

MaRDI QIDQ3327709zbMATH OpenFDO

Authors Grazyna Mirkowska

Publication date 1983

zbMATH Keywords

algorithmic logicpartial recursive functionprogram schemepropositional algorithmic theory of arithmetic of natural numbers

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Recursive functions and relations, subrecursive hierarchies (03D20) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Propositional representation of arithmetic proofs (preliminary version)
• On some generalizations of the primitive recursive arithmetic
• scientific article; zbMATH DE number 3858395
• A calculus of propositional properties of programs
• scientific article; zbMATH DE number 3916241

Cited in

(5)

• scientific article; zbMATH DE number 1148335 (Why is no real title available?)
• scientific article; zbMATH DE number 1531922 (Why is no real title available?)
• Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND
• From arithmetic expressions to propositional formulae
• Propositional representation of arithmetic proofs (preliminary version)

This page was built for publication:

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