Critical-pair criteria for the Knuth-Bendix completion procedure - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Leo Bachmair, Nachum Dershowitz. Critical-pair criteria for the Knuth-Bendix completion procedure. In Bruce W. Char, editor, SYMSAC 1986, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Waterloo, Ontario, Canada, July 21-23, 1986. pages 215-217, ACM, 1986. [doi]

This author has not been identified. Look up 'Leo Bachmair' in GoogleThis author has not been identified. It may be one of the following persons:

Nachum Dershowitz

Look up 'Nachum Dershowitz' in Google

runs on WebDSL