AuthorsO. Lysne and J. Piris
TitleA Termination Ordering for Higher Order Rewrite Systems
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1995
Conference NameProceedings 6th International Conference on Rewriting Techniques and Applications
Pagination26-40
PublisherSpringer-Verlag
Place PublishedKaiserslautern (Germany)
Citation KeyND.5.LYSNE.1995