| Publication | Date of Publication | Type |
|---|
Finding proofs in Tarskian geometry
Journal of Automated Reasoning | 2017-07-10 | Paper |
OTTER proofs in Tarskian geometry
Automated Reasoning | 2014-09-26 | Paper |
The legacy of a great researcher
Automated Reasoning and Mathematics | 2013-04-16 | Paper |
A Fascinating Country in the World of Computing
| 2008-02-26 | Paper |
scientific article; zbMATH DE number 5147179 (Why is no real title available?)
| 2007-04-27 | Paper |
Double-negation elimination in some propositional logics
Studia Logica | 2006-01-30 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
scientific article; zbMATH DE number 2101984 (Why is no real title available?)
| 2004-09-22 | Paper |
scientific article; zbMATH DE number 2100042 (Why is no real title available?)
| 2004-09-09 | Paper |
Shortest axiomatizations of implicational S4 and S5
Notre Dame Journal of Formal Logic | 2004-05-27 | Paper |
The strategy of cramming
Journal of Automated Reasoning | 2003-06-09 | Paper |
Short single axioms for Boolean algebra
Journal of Automated Reasoning | 2003-04-28 | Paper |
Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus
Journal of Automated Reasoning | 2003-04-28 | Paper |
Hilbert's twenty-fourth problem
Journal of Automated Reasoning | 2003-04-28 | Paper |
scientific article; zbMATH DE number 1865568 (Why is no real title available?)
| 2003-02-09 | Paper |
Finding missing proofs with automated reasoning
Studia Logica | 2002-11-13 | Paper |
Conquering the Meredith single axiom
Journal of Automated Reasoning | 2002-01-07 | Paper |
Missing proofs found
Journal of Automated Reasoning | 2002-01-07 | Paper |
A milestone reached and a secret revealed
Journal of Automated Reasoning | 2002-01-07 | Paper |
scientific article; zbMATH DE number 1670764 (Why is no real title available?)
| 2001-12-18 | Paper |
scientific article; zbMATH DE number 1670763 (Why is no real title available?)
| 2001-11-11 | Paper |
scientific article; zbMATH DE number 1568006 (Why is no real title available?)
| 2001-02-21 | Paper |
scientific article; zbMATH DE number 2024619 (Why is no real title available?)
| 2001-01-01 | Paper |
scientific article; zbMATH DE number 2024621 (Why is no real title available?)
| 2001-01-01 | Paper |
The hot list strategy
Journal of Automated Reasoning | 1999-11-29 | Paper |
scientific article; zbMATH DE number 1348483 (Why is no real title available?)
| 1999-10-10 | Paper |
scientific article; zbMATH DE number 1324436 (Why is no real title available?)
| 1999-08-16 | Paper |
Automating the search for elegant proofs
Journal of Automated Reasoning | 1999-01-03 | Paper |
The power of combining resonance with heat
Journal of Automated Reasoning | 1997-06-10 | Paper |
The application of automated reasoning to questions in mathematics and logic
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
OTTER and the Moufang identity problem
Journal of Automated Reasoning | 1997-01-27 | Paper |
Searching for circles of pure proofs
Journal of Automated Reasoning | 1995-12-20 | Paper |
The problem of hyperparamodulation and nuclei
Journal of Automated Reasoning | 1994-12-21 | Paper |
The kernel strategy and its use for the study of combinatory logic
Journal of Automated Reasoning | 1994-12-07 | Paper |
The problem of hyperparamodulation
Journal of Automated Reasoning | 1994-11-10 | Paper |
Basic research problems: The problem of strategy and hyperresolution
Journal of Automated Reasoning | 1994-08-31 | Paper |
scientific article; zbMATH DE number 590572 (Why is no real title available?)
| 1994-06-16 | Paper |
The problem of reasoning by case analysis
Journal of Automated Reasoning | 1994-04-12 | Paper |
The problem of induction
Journal of Automated Reasoning | 1994-04-12 | Paper |
The problem of automated theorem finding
Journal of Automated Reasoning | 1994-03-20 | Paper |
The problem of reasoning by analogy
Journal of Automated Reasoning | 1994-01-23 | Paper |
The problem of naming and function replacement
Journal of Automated Reasoning | 1994-01-23 | Paper |
The problem of selecting an approach based on prior success
Journal of Automated Reasoning | 1994-01-23 | Paper |
The problem of demodulator adjunction
Journal of Automated Reasoning | 1993-12-20 | Paper |
The problem of demodulating across argument and literal boundaries
Journal of Automated Reasoning | 1993-12-20 | Paper |
The problem of demodulation during inference rule application
Journal of Automated Reasoning | 1993-12-10 | Paper |
The problem of reasoning from inequalities
Journal of Automated Reasoning | 1992-12-14 | Paper |
The linked inference principle. I: The formal treatment
Journal of Automated Reasoning | 1992-09-27 | Paper |
scientific article; zbMATH DE number 41806 (Why is no real title available?)
| 1992-09-17 | Paper |
Automated theorem proving and logic programming: a natural symbiosis
The Journal of Logic Programming | 1992-06-25 | Paper |
The absence and the presence of fixed point combinators
Theoretical Computer Science | 1991-01-01 | Paper |
Basic research problems: The problem of choosing the representation, inference rule, and strategy
Journal of Automated Reasoning | 1991-01-01 | Paper |
The problem of choosing the type of subsumption to use
Journal of Automated Reasoning | 1991-01-01 | Paper |
The problem of finding a semantic strategy for focusing inference rules
Journal of Automated Reasoning | 1990-01-01 | Paper |
Meeting the challenge of fifty years of logic
Journal of Automated Reasoning | 1990-01-01 | Paper |
The problem of finding an inference rule for set theory
Journal of Automated Reasoning | 1989-01-01 | Paper |
The problem of determining the size of a complete set of reductions
Journal of Automated Reasoning | 1989-01-01 | Paper |
The problem of guaranteeing the existence of a complete set of reductions
Journal of Automated Reasoning | 1989-01-01 | Paper |
Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic
Journal of Automated Reasoning | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4072436 (Why is no real title available?)
| 1988-01-01 | Paper |
A case study in automated theorem proving: Finding sages in combinatory logic
Journal of Automated Reasoning | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4104410 (Why is no real title available?)
| 1984-01-01 | Paper |
Unit Refutations and Horn Sets
Journal of the ACM | 1974-01-01 | Paper |
A theorem-proving language for experimentation
Communications of the ACM | 1974-01-01 | Paper |
