The Legacy of a Great Researcher
From MaRDI portal
Publication:4913858
DOI10.1007/978-3-642-36675-8_1zbMath1383.68004MaRDI QIDQ4913858
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
Related Items
The Epistemology of Computer-Mediated Proofs, Set of support, demodulation, paramodulation: a historical perspective
Uses Software
Cites Work
- Unnamed Item
- Single axioms for the left group and right group calculi
- The absence and the presence of fixed point combinators
- Single identities for lattice theory and for weakly associative lattices
- The hot list strategy
- The kernel strategy and its use for the study of combinatory logic
- Solution of the Robbins problem
- Single axioms for odd exponent groups
- Automated deduction in equational logic and cubic curves
- Automated discovery of single axioms for ortholattices