Claus Claves

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Enno Ohlebusch, Claus Claves, Claude Marché
TALP: A Tool for the Termination Analysis of Logic Programs. RTA (2000)