The legacy of a great researcher

DOI10.1007/978-3-642-36675-8_1MaRDI QIDQ4913858zbMATH OpenOpenAlexFDO

Authors Larry Wos

Publication date 16 April 2013

Published in Automated Reasoning and Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36675-8_1

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03)

Recommendations

• Larry Wos: visions of automated reasoning
• A glimpse on Gerhard Brewka's contributions to artificial intelligence
• Arnon Avron on semantics and proof theory of non-classical logics
• Enlightening Ph.D. students with the elegance of logic
• AfterMath: The Work of Proof in the Age of Human–Machine Collaboration

Cites work

• Automated deduction in equational logic and cubic curves
• Automated discovery of single axioms for ortholattices
• scientific article; zbMATH DE number 1865568 (Why is no real title available?)
• Single axioms for odd exponent groups
• Single axioms for the left group and right group calculi
• Single identities for lattice theory and for weakly associative lattices
• Solution of the Robbins problem
• The absence and the presence of fixed point combinators
• The hot list strategy
• The kernel strategy and its use for the study of combinatory logic

Cited in

(18)

• Set of support, demodulation, paramodulation: a historical perspective
• A tour of Franz Baader's contributions to knowledge representation and automated deduction
• scientific article; zbMATH DE number 1665325 (Why is no real title available?)
• Introduction to Ray Solomonoff 85th memorial conference
• Enlightening Ph.D. students with the elegance of logic
• Cameo of a consummate computabilist
• Homage to Michael Gelfond on his 65th birthday
• A glimpse at Paul G. Spirakis
• Zdzisław Pawlak Commemorating His Life and Work
• scientific article; zbMATH DE number 1222481 (Why is no real title available?)
• Contributions of Arto Salomaa to multiple-valued logic
• The epistemology of computer-mediated proofs
• Behind maths: Federating research(ers)
• The Good Fortune of Maintaining a Long-Lasting Close Friendship and Scientific Collaboration with V. E. Katsnelson
• A glimpse on Gerhard Brewka's contributions to artificial intelligence
• The Legacy of George Sudarshan
• scientific article; zbMATH DE number 2211675 (Why is no real title available?)
• Jifeng He at Oxford and beyond: an appreciation

Describes a project that uses

Uses Software

• Mace4
• OTTER

This page was built for publication: The legacy of a great researcher

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4913858)