Leo Bachmair
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Semantic Web and Ontologies, semigroups and automata theory
Most-Cited Works
- → Resolution Theorem Proving(2001)461 cited
- → Rewrite-based Equational Theorem Proving with Selection and Simplification(1994)399 cited
- Completion Without Failure(1989)
- Orderings for Equational Proofs(1986)
- → Basic Paramodulation(1995)128 cited
- → Canonical Equational Proofs(1991)120 cited
- → On restrictions of ordered paramodulation with simplification(1990)116 cited
- → Refutational theorem proving for hierarchic first-order theories(1994)104 cited
- Set constraints are the Monadic class(1992)
- → Commutation, transformation, and termination(1986)98 cited