Login / Signup

DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract).

Matt Kaufmann
Published in: ACL2 (2018)
Keyphrases
  • extended abstract
  • software tools
  • theorem proving
  • data mining
  • learning algorithm
  • decision trees
  • expert systems
  • user friendly
  • learning community