History and basic features of the critical-pair/completion procedure
Journal of Symbolic Computation
Unification in commutative theories
Journal of Symbolic Computation
Mixing abstract and concrete modules: specification, development and prototyping
ICSE '90 Proceedings of the 12th international conference on Software engineering
Fatal steps of Knuth-Bendix completion
Nordic Journal of Computing
Completion of a set of rules modulo a set of equations
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Church-rosser properties of weakly terminating term rewriting systems
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Confluence of non-left-linear TRSs via relative termination
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Hi-index | 0.00 |