Theorem Proving in Higher Order Logics

DOI10.1007/B100400zbMath1099.68728OpenAlexW2798038182MaRDI QIDQ5464644

Christoph Lüth, Einar Broch Johnsen

Publication date: 18 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100400

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (5)

Proof generalization in \(\mathrm {LK}\) by second order unifier minimization ⋮ A proof-centric approach to mathematical assistants ⋮ Ornaments for Proof Reuse in Coq ⋮ Analogy in Automated Deduction: A Survey ⋮ Tool Support for Proof Engineering

Uses Software

• CASL
• MAYA
• Specware

This page was built for publication: Theorem Proving in Higher Order Logics