Completeness and Incompleteness of Synchronous Kleene Algebra.
Jana WagemakerMarcello M. BonsangueTobias KappéJurriaan RotAlexandra SilvaPublished in: CoRR (2019)
Keyphrases
- regular expressions
- propositional logic
- query language
- relational algebra
- data model
- incomplete information
- boolean algebra
- asynchronous communication
- algebraic expressions
- data quality
- information systems
- formal proofs
- computer vision
- data types
- pattern matching
- multiscale
- real numbers
- relational data model
- e learning
- algebraic structure
- algebraic operations
- algebraic geometry