Concepedia

Leo Bachmair

LB

24

Publications

1.7K

Citations

20

H-Index

1980

Active since

Affiliations

Stony Brook University(Current)

Max Planck Institute for Informatics

Max Planck Society

University of Illinois Urbana-Champaign

State University of New York

Leo Bachmair is an author at Stony Brook University specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationVerificationProof ComplexityComputational ComplexityMathematical ProgrammingDiscrete Mathematics

Publications per year

1980–2005

24

Publications

24

Rewrite-based Equational Theorem Proving with Selection and Simplification

Leo Bachmair, Harald Ganzinger · Journal of Logic and Computation · 1994 · 399 citations

Mathematical Programming, Theory Of Computing, Mpi-sb.mpg.de Search +14

Orderings for Equational Proofs

Leo Bachmair, Nachum Dershowitz, Jieh Hsiang · Logic in Computer Science · 1986 · 130 citations

Engineering, Automated Reasoning, Formal Methods +4

Basic Paramodulation

Leo Bachmair, Harald Ganzinger, Christopher S. Lynch et al. · Information and Computation · 1995 · 128 citations · Full text

Syntax, Engineering, Substructural Logic +11

Refutational theorem proving for hierarchic first-order theories

Leo Bachmair, Harald Ganzinger, Uwe Waldmann · Applicable Algebra in Engineering Communication and Computing · 1994 · 104 citations

Engineering, Automated Reasoning, Formal Methods +4

Completion for rewriting modulo a congruence

Leo Bachmair, Nachum Dershowitz · Theoretical Computer Science · 1989 · 92 citations

Rewriting System, Modulus Problem, Residue System

Rows per page

1–5 of 24