Modular and incremental proofs of AC-termination.
Claude MarchéXavier UrbainPublished in: J. Symb. Comput. (2004)
Keyphrases
- theorem proving
- incremental learning
- term rewriting
- incremental version
- incremental clustering
- rewrite systems
- decision procedures
- equational theories
- real time
- formal proofs
- modular neural networks
- highly flexible
- data driven
- relational databases
- data mining
- efficient incremental
- lower bound
- similarity measure
- social networks
- data sets