1993
Termination proofs for higher-order rewrite systems
Publication
Publication
Presented at the
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Amsterdam, The Netherlands
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting | |
van de Pol, J. (1993). Termination proofs for higher-order rewrite systems. In Higher-Order Algebra, Logic, and Term Rewriting ( HOA \\\ (pp. 305–325). Springer. |