Completeness Theorems for Kleene Algebra with Top.
Damien PousJana WagemakerPublished in: CONCUR (2022)
Keyphrases
- propositional logic
- algebraic expressions
- regular expressions
- relational algebra
- boolean algebra
- data model
- query language
- neural network
- digital topology
- algebraic structure
- algebraic geometry
- formal proofs
- databases
- data structure
- bayesian networks
- website
- image processing
- real numbers
- search engine
- algebraic operations
- data mining
- relation algebra