Left-Handed Completeness for Kleene algebra, via Cyclic Proofs.
Anupam DasAmina DoumaneDamien PousPublished in: LPAR (2018)
Keyphrases
- formal proofs
- equational theories
- query language
- propositional logic
- algebraic expressions
- theorem proving
- data model
- regular expressions
- formal proof
- information systems
- theorem prover
- data sets
- relational algebra
- decision trees
- genetic algorithm
- automated theorem provers
- boolean algebra
- algebraic structure
- real numbers
- decision procedures
- object oriented databases
- relational model
- data quality
- data mining