Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling.
Takahito AotoPublished in: RTA (2010)
Keyphrases
- automated theorem provers
- automated analysis
- semi automated
- theorem prover
- context sensitive
- classification rules
- computer assisted
- real time
- graphical representation
- data driven
- database design
- data model
- rule induction
- data mining
- rule discovery
- neural network
- graphical representations
- logical rules
- rewrite systems
- data sets