Total Termination of Term Rewriting is Undecidable (1995)

Cached

Download Links

by Hans Zantema
Venue:Journal of Symbolic Computation
Citations:9 - 3 self