AuthorsO. Lysne and J. Piris
TitleA Termination Ordering for Higher Order Rewrite Systems
StatusPublished
Publication TypeTalks, contributed
Year of Publication1994
Location of TalkProceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS
Citation KeyND.7.Lysne.1994