Termination Proofs for Higher-order Rewrite Systems (1994)

Cached

Download Links

by Jaco van de Pol
Venue:IN 1ST INTERNATIONAL WORKSHOP ON HIGHER-ORDER ALGEBRA, LOGIC AND TERM REWRITING
Citations:13 - 0 self