Investigating Discrete Controllability with Kleene Algebra.

Hans Bherer Jules Desharnais Marc Frappier Richard St-Denis

Published in: RelMiCS (2003)

Keyphrases

real numbers
evolutionary algorithm
data model
query language
neural network
discrete geometry
information systems
database systems
boolean algebra
propositional logic
algebraic structure
discrete version
discrete space
set theory
continuous data
finite number
relational algebra
object oriented