Searching for "Origin Tracking for Higher-Order Term Rewriting Systems." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Origin Tracking for Higher-Order Term Rewriting Systems
by A. Van Deursen, Arie Van Deursen, T.B. Dinesh, T. B. Dinesh — 1993 — Proceedings of the International Workshop on Higher-Order Algebra, Logic and Term Rewriting HOA93
… Origin Tracking for Higher-Order Term Rewriting Systems Arie van Deursen and T.B. Dinesh farie…
Cited by 3 (2 self) – Add To MetaCart

The ASF+SDF Meta-environment: An Annotated Bibliography
by E.A. van der Meulen, Asf+sdf Group At Cwi — 1995
…. 4 Origin Tracking for Higher-Order Term Rewriting Systems [DD93] Origin Tracking is a technique…
Add To MetaCart

Showing 1 through 2.

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