1996-12-11
Termination of Higher-order Rewrite Systems
Publication
Publication
Additional Metadata | |
---|---|
J.A. Bergstra (Jan) | |
Universiteit Utrecht | |
Quaestiones Infinitae ; 16 | |
van de Pol, J. (1996, December 11). Termination of Higher-order Rewrite Systems (No. 16). Quaestiones Infinitae. |