Unique Normal Form Property of Higher-Order Rewriting Systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ken Mano, Mizuhito Ogawa. Unique Normal Form Property of Higher-Order Rewriting Systems. In Michael Hanus, Mario Rodríguez-Artalejo, editors, Algebraic and Logic Programming, 5th International Conference, ALP 96, Aachen, Germany, September 25-27, 1996, Proceedings. Volume 1139 of Lecture Notes in Computer Science, pages 269-283, Springer, 1996.

The following publications are possibly variants of this publication:

Unique normal form property of compatible term rewriting systems: a new proof of Chew s theoremKen Mano, Mizuhito Ogawa. TCS, 258(1-2):169-208, 2001. [doi]

runs on WebDSL