Modular & Incremental Automated Termination Proofs.
Xavier UrbainPublished in: J. Autom. Reason. (2004)
Keyphrases
- incremental learning
- semi automated
- theorem prover
- computer aided
- automated theorem provers
- fully automated
- data driven
- computer assisted
- term rewriting
- expert systems
- neural network
- databases
- formal proofs
- real time
- logic programs
- database
- case study
- metadata
- automated analysis
- incremental clustering
- data sets
- equational theories