Export 2 results:
Search results for biblio_year:1979
Filters: 1 is biblio_type:Journal Article and 2 is biblio_year:1983 and 3 is biblio_year:1994 and 4 is biblio_type:Talks, contributed and 5 is field_publication_owner:not_simula 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.