Export 2 results:
Search results for biblio_year:1995
Filters: 1 is biblio_year:1978 and 2 is biblio_year:2009 and 3 is field_publication_owner:not_simula and 4 is biblio_year:2011 and 5 is biblio_year:2017 and Author is J. Piris  [Reset Search]
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.