scientific article; zbMATH DE number 3659008

MaRDI QIDQ3857731zbMATH OpenFDO

Authors Robin Milner

Publication date 1979

zbMATH Keywords

interactive proof-checkinglogic of computable functionsproof-search strategies

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Cited in

(5)

• Milestones from the Pure Lisp Theorem Prover to ACL2
• Étude et implémentation d'un système de déduction pour logique algorithmique
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• Computer theorem proving in mathematics
• Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs

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 Q3857731)