Searching for "Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting
by S. C. C. Blom, Graph Rewriting, Stefan Blom — 2002 — Proceedings of the Fourth Annual Workshop on Empirical Studies of Programmers, ESP 91
… for lifting infinite normal form definitions from term rewrite systems to term graph rewrite systems. The non…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB