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
Presentation
Year of publication
1994
Journal
Proceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS
Publisher
–
Citation key
11983
Google Scholar BibTex