Javier Piris

According to our database, Javier Piris authored at least 1 paper in 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1995

A Termination Ordering for Higher Order Rewrite System.

Olav Lysne, Javier Piris

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995