Claus Claves

According to our database, Claus Claves authored at least 1 paper in 2000.

Collaborative distances:

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

2000

TALP: A Tool for the Termination Analysis of Logic Programs.

Enno Ohlebusch, Claus Claves, Claude Marché

Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000