## Termination Proofs for Higher-order Rewrite Systems (1994)

by
Jaco van de Pol

Venue: | IN 1ST INTERNATIONAL WORKSHOP ON HIGHER-ORDER ALGEBRA, LOGIC AND TERM REWRITING |

Citations: | 13 - 0 self |