Deciding Synchronous Kleene Algebra with Derivatives.

Sabine Broda Sílvia Cavadas Miguel Ferreira Nelma Moreira

Published in: CIAA (2015)

Keyphrases

higher order
propositional logic
query language
algebraic expressions
data model
regular expressions
relational algebra
query processing
directional derivatives
asynchronous communication
data types
algebraic geometry
boolean algebra
set theory
real time
scale space
edge detection
multiscale
information retrieval