J. Piris
External collaborator
Publications
Simula-affiliated publications listed
1995
Proceedings, refereed
Read A Termination Ordering for Higher Order Rewrite Systems
O. Lysne and J. Piris
A Termination Ordering for Higher Order Rewrite Systems
Proceedings 6th International Conference on Rewriting Techniques and Applications
1994
Talks, contributed
Read A Termination Ordering for Higher Order Rewrite Systems
O. Lysne and J. Piris
A Termination Ordering for Higher Order Rewrite Systems
Proceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS