Formulas as programs

MaRDI QIDQ4702566zbMATH OpenFDO

Authors Krzysztof R. Apt, Marc Bezem

Publication date 9 April 2000

zbMATH Keywords

first-order logicformulas as programsformulas as types

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 4101138
• Proofs as computations in linear logic
• Programs and logics
• scientific article; zbMATH DE number 1980915

Cited in

(7)

• Computation of full logic programs using one-variable environments
• A formalization of programs in first-order logic with a discrete linear order
• Programming in Alma-0, or imperative and declarative programming reconciled
• scientific article; zbMATH DE number 3917687 (Why is no real title available?)
• scientific article; zbMATH DE number 4101138 (Why is no real title available?)
• scientific article; zbMATH DE number 7552282 (Why is no real title available?)
• Formula Manipulation by Computer

This page was built for publication: Formulas as programs

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