Synchronous Kleene algebra.

Cristian Prisacariu

Published in: J. Log. Algebraic Methods Program. (2010)

Keyphrases

propositional logic
data model
query language
relational algebra
regular expressions
algebraic expressions
boolean algebra
databases
expert systems
real time
real world
relational databases
complex objects
algebraic geometry
algebraic structures