Termination of Term Rewriting: Interpretation and Type Elimination (1994)

Cached

Download Links

by Hans Zantema
Venue:Journal of Symbolic Computation
Citations:85 - 13 self