|
СТ |
Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings |
1995 |
Bachmair L., Ganzinger H., Stuber J. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
|
СТ |
Buchberger s Algorithm: A Constraint-Based Completion Procedure |
1994 |
Bachmair L., Ganzinger H. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
|
СТ |
Perfect Model Semantics for Logic Programs with Equality |
1991 |
Bachmair L., Ganzinger H. |
|
|
|
Logic Programming: Proc./Eight Intern. Conf. |
23.09.1994 |
|
СТ |
Equational Inference, Canonical Proofs, and Proof Orderings |
1994 |
Bachmair L., Dershowitz N. |
|
|
|
J. of the ACM |
14.06.1994 |
|
СТ |
Superposition with Simplification as a Decision Procedure for the Monadic Class with Equality |
1993 |
Bachmair L., Ganzinger H., Waldmann U. |
|
|
|
Lecture Notes in Computer Science |
21.09.1993 |
|
СТ |
Associative-Commutative Discrimination Nets |
1993 |
Bachmair L., Chen T., Ramakrishnan I. V. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
