Kleene Algebra with Converse.

Paul Brunet Damien Pous

Published in: RAMiCS (2014)

Keyphrases

propositional logic
regular expressions
algebraic expressions
data model
query language
relational algebra
boolean algebra
three dimensional
mobile robot
algebraic structures
spatial data
neural network
evolutionary algorithm
image segmentation
case study
metadata
social networks
artificial intelligence