| Publication | Date of Publication | Type |
|---|
| Automated reasoning contributes to mathematics and logic | 2023-04-28 | Paper |
| Otter 2.0 | 2023-04-28 | Paper |
Well-behaved search and the Robbins problem
Rewriting Techniques and Applications | 2017-11-17 | Paper |
Automatic proofs and counterexamples for some ortholattice identities
Information Processing Letters | 2016-06-09 | Paper |
Computer solutions of problems in inverse semigroups.
Communications in Algebra | 2010-05-21 | Paper |
Semantic Guidance for Saturation Provers
Artificial Intelligence and Symbolic Computation | 2009-01-15 | Paper |
| scientific article; zbMATH DE number 5170267 (Why is no real title available?) | 2007-07-09 | Paper |
Uniqueness of Steiner laws on cubic curves
Beiträge zur Algebra und Geometrie | 2007-01-22 | Paper |
Uniqueness of Steiner laws on cubic curves
Beiträge zur Algebra und Geometrie | 2007-01-22 | Paper |
Yet another single law for lattices
Algebra Universalis | 2006-07-12 | Paper |
Levi's commutator theorems for cancellative semigroups.
Semigroup Forum | 2006-03-22 | Paper |
Automated discovery of single axioms for ortholattices
Algebra Universalis | 2006-01-06 | Paper |
| scientific article; zbMATH DE number 2087631 (Why is no real title available?) | 2004-08-11 | Paper |
Short single axioms for Boolean algebra
Journal of Automated Reasoning | 2003-04-28 | Paper |
| Single axioms: With and without computers | 2001-11-01 | Paper |
| scientific article; zbMATH DE number 1614710 (Why is no real title available?) | 2001-07-05 | 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 |
Single identities for lattice theory and for weakly associative lattices
Algebra Universalis | 1998-11-24 | Paper |
Solution of the Robbins problem
Journal of Automated Reasoning | 1998-03-23 | Paper |
Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
The American Mathematical Monthly | 1997-12-03 | Paper |
The application of automated reasoning to questions in mathematics and logic
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
Automated deduction in equational logic and cubic curves
Lecture Notes in Computer Science | 1996-08-04 | Paper |
Single identities for ternary Boolean algebras
Computers & Mathematics with Applications | 1995-05-01 | Paper |
Automated reasoning about cubic curves
Computers & Mathematics with Applications | 1995-02-02 | Paper |
Single axioms for the left group and right group calculi
Notre Dame Journal of Formal Logic | 1995-01-22 | Paper |
Single axioms for groups and abelian groups with various operations
Journal of Automated Reasoning | 1994-08-25 | Paper |
Uniform strategies: The CADE-11 theorem proving contest
Journal of Automated Reasoning | 1994-04-12 | Paper |
Automated discovery of new axiomatizations of the left group and right group calculi
Journal of Automated Reasoning | 1994-01-02 | Paper |
Experiments with discrimination-tree indexing and path indexing for term retrieval
Journal of Automated Reasoning | 1993-12-20 | 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 |
Automated reasoning about elementary point-set topology
Journal of Automated Reasoning | 1989-01-01 | Paper |
Maintaining state constraints in relational databases: a proof theoretic basis
Journal of the ACM | 1989-01-01 | Paper |
Un-Skolemizing clause sets
Information Processing Letters | 1988-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 |
| scientific article; zbMATH DE number 4072440 (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 3986666 (Why is no real title available?) | 1986-01-01 | Paper |
Experiments with semantic paramodulation
Journal of Automated Reasoning | 1985-01-01 | Paper |
