A Termination Ordering for Higher Order Rewrite Systems
- Authors
- O. Lysne and J. Piris
- Status
- Published
- Publication type
- Presentation
- Year of publication
- 1994
- Journal
- Proceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS
- Publisher
- -
- Citation key
- 11983