Larry Wos

From MaRDI portal
Person:220717

Available identifiers

zbMath Open wos.larryWikidataQ6491315 ScholiaQ6491315MaRDI QIDQ220717

List of research outcomes

PublicationDate of PublicationType
Finding proofs in Tarskian geometry2017-07-10Paper
OTTER Proofs in Tarskian Geometry2014-09-26Paper
The Legacy of a Great Researcher2013-04-16Paper
A Fascinating Country in the World of Computing2008-02-26Paper
https://portal.mardi4nfdi.de/entity/Q34331802007-04-27Paper
Double-negation elimination in some propositional logics2006-01-30Paper
Mechanizing Mathematical Reasoning2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q48172102004-09-22Paper
https://portal.mardi4nfdi.de/entity/Q48165382004-09-09Paper
Shortest axiomatizations of implicational S4 and S52004-05-27Paper
The strategy of cramming2003-06-09Paper
Short single axioms for Boolean algebra2003-04-28Paper
Hilbert's twenty-fourth problem2003-04-28Paper
Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus2003-04-28Paper
https://portal.mardi4nfdi.de/entity/Q47920192003-02-09Paper
Finding missing proofs with automated reasoning2002-11-13Paper
A milestone reached and a secret revealed2002-01-07Paper
Conquering the Meredith single axiom2002-01-07Paper
Missing proofs found2002-01-07Paper
https://portal.mardi4nfdi.de/entity/Q27540682001-12-18Paper
https://portal.mardi4nfdi.de/entity/Q27540672001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q47618172001-02-21Paper
https://portal.mardi4nfdi.de/entity/Q44431942001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q44431962001-01-01Paper
The hot list strategy1999-11-29Paper
https://portal.mardi4nfdi.de/entity/Q42647371999-10-10Paper
https://portal.mardi4nfdi.de/entity/Q42555071999-08-16Paper
Automating the search for elegant proofs1999-01-03Paper
The power of combining resonance with heat1997-06-10Paper
The application of automated reasoning to questions in mathematics and logic1997-05-13Paper
OTTER and the Moufang identity problem1997-01-27Paper
Searching for circles of pure proofs1995-12-20Paper
The problem of hyperparamodulation and nuclei1994-12-21Paper
The kernel strategy and its use for the study of combinatory logic1994-12-07Paper
The problem of hyperparamodulation1994-11-10Paper
Basic research problems: The problem of strategy and hyperresolution1994-08-31Paper
https://portal.mardi4nfdi.de/entity/Q42961711994-06-16Paper
The problem of induction1994-04-12Paper
The problem of reasoning by case analysis1994-04-12Paper
The problem of automated theorem finding1994-03-20Paper
The problem of naming and function replacement1994-01-23Paper
The problem of reasoning by analogy1994-01-23Paper
The problem of selecting an approach based on prior success1994-01-23Paper
The problem of demodulator adjunction1993-12-20Paper
The problem of demodulating across argument and literal boundaries1993-12-20Paper
The problem of demodulation during inference rule application1993-12-10Paper
The problem of reasoning from inequalities1992-12-14Paper
The linked inference principle. I: The formal treatment1992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q39947541992-09-17Paper
Automated theorem proving and logic programming: a natural symbiosis1992-06-25Paper
The absence and the presence of fixed point combinators1991-01-01Paper
Basic research problems: The problem of choosing the representation, inference rule, and strategy1991-01-01Paper
The problem of choosing the type of subsumption to use1991-01-01Paper
Meeting the challenge of fifty years of logic1990-01-01Paper
The problem of finding a semantic strategy for focusing inference rules1990-01-01Paper
The problem of guaranteeing the existence of a complete set of reductions1989-01-01Paper
The problem of determining the size of a complete set of reductions1989-01-01Paper
The problem of finding an inference rule for set theory1989-01-01Paper
Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38042361988-01-01Paper
A case study in automated theorem proving: Finding sages in combinatory logic1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38290891984-01-01Paper
Unit Refutations and Horn Sets1974-01-01Paper
A theorem-proving language for experimentation1974-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Larry Wos