William W. McCune

Available identifiers

zbMath Open mccune.william-wMaRDI QIDQ688545

List of research outcomes

Publication	Date of Publication	Type
Well-behaved search and the Robbins problem	2017-11-17	Paper
Automatic proofs and counterexamples for some ortholattice identities	2016-06-09	Paper
Computer Solutions of Problems in Inverse Semigroups	2010-05-21	Paper
Semantic Guidance for Saturation Provers	2009-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q5293995	2007-07-09	Paper
Uniqueness of Steiner laws on cubic curves	2007-01-22	Paper
Yet another single law for lattices	2006-07-12	Paper
Levi's commutator theorems for cancellative semigroups.	2006-03-22	Paper
Automated discovery of single axioms for ortholattices	2006-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4738480	2004-08-11	Paper
Short single axioms for Boolean algebra	2003-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q2725955	2001-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q2723435	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4264737	1999-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4255507	1999-08-16	Paper
Single identities for lattice theory and for weakly associative lattices	1998-11-24	Paper
Solution of the Robbins problem	1998-03-23	Paper
Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups	1997-12-03	Paper
The application of automated reasoning to questions in mathematics and logic	1997-05-13	Paper
Automated deduction in equational logic and cubic curves	1996-08-04	Paper
Single identities for ternary Boolean algebras	1995-05-01	Paper
Automated reasoning about cubic curves	1995-02-02	Paper
Single axioms for the left group and right group calculi	1995-01-22	Paper
Single axioms for groups and abelian groups with various operations	1994-08-25	Paper
Uniform strategies: The CADE-11 theorem proving contest	1994-04-12	Paper
Automated discovery of new axiomatizations of the left group and right group calculi	1994-01-02	Paper
Experiments with discrimination-tree indexing and path indexing for term retrieval	1993-12-20	Paper
Automated theorem proving and logic programming: a natural symbiosis	1992-06-25	Paper
The absence and the presence of fixed point combinators	1991-01-01	Paper
Automated reasoning about elementary point-set topology	1989-01-01	Paper
Maintaining state constraints in relational databases: a proof theoretic basis	1989-01-01	Paper
Un-Skolemizing clause sets	1988-01-01	Paper
Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3804236	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3804240	1988-01-01	Paper
A case study in automated theorem proving: Finding sages in combinatory logic	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750137	1986-01-01	Paper
Experiments with semantic paramodulation	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: William W. McCune