On Decidability of Concurrent Kleene Algebra.
Paul BrunetDamien PousGeorg StruthPublished in: CONCUR (2017)
Keyphrases
- description logics
- propositional logic
- query answering
- regular expressions
- relational algebra
- algebraic expressions
- query language
- data model
- algebraic operations
- information systems
- concurrent execution
- set theory
- mutual exclusion
- boolean algebra
- normal form
- knowledge base
- algebraic geometry
- concurrent programming
- machine learning
- relation algebra