Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Thomas, Muffy and Watson, Phil
Solving divergence in Knuth-Bendix completion by enriching signatures.
In: Algebraic Methodology and Software Technology, Proceedings of the 2nd International Conference, Iowa City, U.S.A., 1991.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)