E. Castedo Ellerman

According to our database, E. Castedo Ellerman authored at least 1 paper in 2005.

Collaborative distances:

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

2005

Leanest Quasi-orderings.

Nachum Dershowitz, E. Castedo Ellerman

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005