| Publication | Date of Publication | Type |
|---|
| The TPS theorem proving system | 2023-04-28 | Paper |
On sets, types, fixed points, and checkerboards
Theorem Proving with Analytic Tableaux and Related Methods | 2019-01-10 | Paper |
A bit of history related to logic based on equality
Studies in Universal Logic | 2015-11-27 | Paper |
| scientific article; zbMATH DE number 5872252 (Why is no real title available?) | 2011-03-30 | Paper |
| scientific article; zbMATH DE number 5872266 (Why is no real title available?) | 2011-03-30 | Paper |
| scientific article; zbMATH DE number 5872259 (Why is no real title available?) | 2011-03-30 | Paper |
| Some historical reflections | 2011-03-30 | Paper |
| scientific article; zbMATH DE number 5872253 (Why is no real title available?) | 2011-03-30 | Paper |
| scientific article; zbMATH DE number 5872254 (Why is no real title available?) | 2011-03-30 | Paper |
| scientific article; zbMATH DE number 5872258 (Why is no real title available?) | 2011-03-30 | Paper |
TPS: A hybrid automatic-interactive system for developing proofs
Journal of Applied Logic | 2007-02-20 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Herbrand Award acceptance speech
Journal of Automated Reasoning | 2004-03-15 | Paper |
An introduction to mathematical logic and type theory: To truth through proof.
Applied Logic Series | 2002-10-27 | Paper |
| Classical type theory | 2002-08-27 | Paper |
| scientific article; zbMATH DE number 1614693 (Why is no real title available?) | 2001-07-05 | Paper |
Where Not to Find the Critical Points of a Polynomial--Variation on a Putnam Theme
The American Mathematical Monthly | 1997-08-07 | Paper |
TPS: A theorem-proving system for classical type theory
Journal of Automated Reasoning | 1996-11-25 | Paper |
More on the problem of finding a mapping between clause representation and natural-deduction representation
Journal of Automated Reasoning | 1991-01-01 | Paper |
On connections and higher-order logic
Journal of Automated Reasoning | 1989-01-01 | Paper |
The Classification of Surfaces
The American Mathematical Monthly | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4061194 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3999882 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3878393 (Why is no real title available?) | 1984-01-01 | Paper |
Theorem Proving via General Matings
Journal of the ACM | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3684929 (Why is no real title available?) | 1980-01-01 | Paper |
Sullivan's Minimal Models and Higher Order Whitehead Products
Canadian Journal of Mathematics | 1978-01-01 | Paper |
The genus of a closed simply connected manifold
Michigan Mathematical Journal | 1976-01-01 | Paper |
Refutations by Matings
IEEE Transactions on Computers | 1976-01-01 | Paper |
Provability in Elementary Type Theory
Mathematical Logic Quarterly | 1974-01-01 | Paper |
Resolution and the consistency of analysis
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
General models and extensionality
Journal of Symbolic Logic | 1972-01-01 | Paper |
General models, descriptions, and choice in type theory
Journal of Symbolic Logic | 1972-01-01 | Paper |
Resolution in type theory
Journal of Symbolic Logic | 1971-01-01 | Paper |
Resolution With Merging
Journal of the ACM | 1968-01-01 | Paper |
On simplifying the matrix of a wff
Journal of Symbolic Logic | 1968-01-01 | Paper |
A transfinite type theory with type variables
Studies in Logic and the Foundations of Mathematics | 1965-01-01 | Paper |
False lemmas in Herbrand
Bulletin of the American Mathematical Society | 1963-01-01 | Paper |
