E-Unification Algorithms for a Class of Confluent Term Rewriting Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jia-Huai You, P. A. Subrahmanyam. E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. In Laurent Kott, editor, Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings. Volume 226 of Lecture Notes in Computer Science, pages 454-463, Springer, 1986.

This author has not been identified. Look up 'Jia-Huai You' in GoogleThis author has not been identified. Look up 'P. A. Subrahmanyam' in Google

runs on WebDSL