Termination in Modal Kleene Algebra.
Jules DesharnaisBernhard MöllerGeorg StruthPublished in: IFIP TCS (2004)
Keyphrases
- propositional logic
- regular expressions
- data model
- modal logic
- relational algebra
- term rewriting
- query language
- nonmonotonic logics
- active rules
- databases
- boolean algebra
- algebraic expressions
- algebraic structure
- real numbers
- set theory
- search algorithm
- clustering algorithm
- social networks
- data mining
- algebraic geometry
- rewrite systems
- laplace transform
- real world