Searching for "Innermost Termination of Rewrite Systems by Labeling." – 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.

Innermost termination of rewriting systems by labeling
by René Thiemann, Lufg Informatik, Rwth Aachen, Aart Middeldorp — 2007 — In Proceedings of the Workshop on Reduction Strategies in Rewriting and Programming (WRS ’07), volume 204 of Electronic Notes in Theoretical Computer Science
…WRS 2007 Innermost Termination of Rewrite Systems by Labeling 1 Abstract René Thiemann Lu…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 1.

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