Third Special Issue on Techniques for Automated Termination Proofs.

Jürgen Giesl Deepak Kapur

Published in: J. Autom. Reason. (2006)

Keyphrases

special issue
ai edam
international journal
ecml pkdd
automated theorem provers
applied intelligence
semi automated
special section
fully automated
term rewrite systems
databases
information systems
knowledge base
online learning
future directions