Export 2 results:
Search results for biblio_year:1994
Filters: Author is J. Piris [Reset Search]
Filters: Author is J. Piris [Reset Search]
A Termination Ordering for Higher Order Rewrite Systems In Proceedings 6th International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science. Kaiserslautern (Germany): Springer-Verlag, 1995.
A Termination Ordering for Higher Order Rewrite Systems In Proceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS., 1994.