# Leo Bachmair

According to our database

Collaborative distances:

^{1}, Leo Bachmair authored at least 48 papers between 1980 and 2005.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2005

Proceedings of the Computational Science, 2005

2004

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

J. Autom. Reason., 2003

2001

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Proceedings of the Frontiers of Combining Systems, 2000

Proceedings of the Automated Deduction, 2000

Proceedings of the Automated Deduction, 2000

1999

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

1998

J. ACM, 1998

An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction.

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Proceedings of the Automated Deduction, 1998

Proceedings of the Automated Deduction, 1998

1997

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

1996

Proceedings of the Trees in Algebra and Programming, 1996

1995

Inf. Comput., September, 1995

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

J. Log. Comput., 1994

J. ACM, 1994

Appl. Algebra Eng. Commun. Comput., 1994

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings.

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Superposition with Simplification as a Desision Procedure for the Monadic Class with Equality.

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1992

Inf. Process. Lett., 1992

Proceedings of the Logic Programming and Automated Reasoning, 1992

Proceedings of the Automated Deduction, 1992

Proceedings of the Algebraic and Logic Programming, 1992

1991

Perfect Model Semantics for Logic Programs with Equality.

Proceedings of the Logic Programming, 1991

1990

Completion of First-Order Clauses with Equality by Strict Superposition (Extended Abstract).

Proceedings of the Conditional and Typed Rewriting Systems, 1990

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Theor. Comput. Sci., 1989

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1988

J. Symb. Comput., 1988

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1987

Inference Rules for Rewrite-Based First-Order Theorem Proving

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

Proceedings of the EUROCAL '87, 1987

1986

Orderings for Equational Proofs

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

J. Symb. Comput., 1985

Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

1980

SIGSAM Bull., 1980