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