Searching for "A General Theorem on Termination of 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.

Paper presented at the International Seminar on Income Distribution System
by Jeremy E. Dawson, Rajeev Goré — 2004 — In Computer Science Logic, CSL’04, number 3210 in LNCS
…A General Theorem on Termination of Rewriting Jeremy E. Dawson and Rajeev Goré Logic…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 1.

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