Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems (1996)

Cached

Download Links

by Alfons Geser
Venue:Journal of Symbolic Computation
Citations:3 - 2 self