Searching for "Termination of Term Rewriting Interpretation and Type Elimination." – 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.

Termination of Term Rewriting: Interpretation and Type Elimination
by Hans Zantema — 1994 — Journal of Symbolic Computation
…J. Symbolic Computation (1994) 11, 1--000 Termination of term rewriting: interpretation and type…
Cited by 79 (13 self) – Add To MetaCart

Fourth International Workshop on Termination WST '99
by Dagstuhl Germany, Nachum Dershowitz (urbana, Hans Zantema — 1999
…. Termination of term rewriting: interpretation and type elimination. Journal of Symbolic Computation 17 (1994…
Add To MetaCart

Showing 1 through 2.

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