A Termination Ordering for Higher Order Rewrite Systems

A Termination Ordering for Higher Order Rewrite Systems

A Termination Ordering for Higher Order Rewrite Systems

Authors: O. Lysne and J. Piris
Status: Published
Publication type: Proceedings Refereed
Year of publication: 1995
Journal: Proceedings 6th International Conference on Rewriting Techniques and Applications
Publisher: Springer-Verlag
Citation key: 10001

Google Scholar BibTex