AC-Complete Unification and its Application to Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexandre Boudet, Evelyne Contejean, Claude Marché. AC-Complete Unification and its Application to Theorem Proving. In Harald Ganzinger, editor, Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings. Volume 1103 of Lecture Notes in Computer Science, pages 18-32, Springer, 1996.

This author has not been identified. Look up 'Alexandre Boudet' in GoogleThis author has not been identified. Look up 'Evelyne Contejean' in GoogleThis author has not been identified. Look up 'Claude Marché' in Google

runs on WebDSL