Export 2 results:
Filters: Author is J. Piris  [Clear All Filters]
1995
O. Lysne and J. Piris. 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.
1994
O. Lysne and J. Piris. A Termination Ordering for Higher Order Rewrite Systems In Proceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS., 1994.