scientific article; zbMATH DE number 1070624
From MaRDI portal
Publication:4357064
Recommendations
Cited in
(20)- A new combination of input and unit deductions for Horn sentences
- The number of proof lines and the size of proofs in first order logic
- scientific article; zbMATH DE number 4195154 (Why is no real title available?)
- scientific article; zbMATH DE number 4205965 (Why is no real title available?)
- scientific article; zbMATH DE number 5007860 (Why is no real title available?)
- scientific article; zbMATH DE number 4145877 (Why is no real title available?)
- scientific article; zbMATH DE number 4053061 (Why is no real title available?)
- scientific article; zbMATH DE number 46359 (Why is no real title available?)
- scientific article; zbMATH DE number 51768 (Why is no real title available?)
- scientific article; zbMATH DE number 1215501 (Why is no real title available?)
- scientific article; zbMATH DE number 1354137 (Why is no real title available?)
- First-order theorem proving: foreword
- scientific article; zbMATH DE number 1761887 (Why is no real title available?)
- First-order unification in the PVS proof assistant
- scientific article; zbMATH DE number 785048 (Why is no real title available?)
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System
- Theorem Proving in Higher Order Logics
- Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003
- Types for Proofs and Programs
- A Survey of the Proof-Theoretic Foundations of Logic Programming
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 Q4357064)
