1996
Termination of higher-order rewrite systems
Publication
Publication
Additional Metadata | |
---|---|
Universiteit Utrecht | |
Quaestiones Infinitae | |
van de Pol, J. (1996). Termination of higher-order rewrite systems. Quaestiones Infinitae. Universiteit Utrecht. |