System Presentation -- CARIBOO: An induction based proof tool for termination with strategies.

Olivier Fissore Isabelle Gnaedig Hélène Kirchner

Published in: PPDP (2002)

Keyphrases

website
software tools
machine learning
theorem proving
multimedia
proof search
proof planning
database
case study
domain knowledge
visual representations