External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

TALP: A Tool for the Termination Analysis of Logic Programs

Enno Ohlebusch, Claus Claves, Claude Marché. TALP: A Tool for the Termination Analysis of Logic Programs. In Leo Bachmair, editor, Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings. Volume 1833 of Lecture Notes in Computer Science, pages 270-273, Springer, 2000.

Authors

Enno Ohlebusch

This author has not been identified. Look up 'Enno Ohlebusch' in Google

Claus Claves

This author has not been identified. Look up 'Claus Claves' in Google

Claude Marché

This author has not been identified. Look up 'Claude Marché' in Google
runs on