Proc. of the first international conference on Rewriting techniques and applications
Completion of a set of rules modulo a set of equations
SIAM Journal on Computing
Knuth-Bendix procedure and Buchberger algorithm: a synthesis
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Completion for rewriting modulo a congruence
Theoretical Computer Science - Second Conference on Rewriting Techniques and Applications, Bordeaux, May 1987
Simulating Buchberger's algorithm by Knuth-Bendix completion
RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
Complete Sets of Reductions for Some Equational Theories
Journal of the ACM (JACM)
A Unification Algorithm for Associative-Commutative Functions
Journal of the ACM (JACM)
Computer experiments with the REVE term rewriting system generator
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Term Reduction Systems and Algebraic Algorithms
GWAI '81 Proceedings of the German Workshop on Artificial Intelligence
A critical-pair/completion algorithm for finitely generated ideals in rings
Proceedings of the Symposium "Rekursive Kombinatorik" on Logic and Machines: Decision Problems and Complexity
A fine-grained parallel completion procedure
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
| Hi-index | 0.00 |