Kleene Algebra with Equations.

Dexter Kozen Konstantinos Mamouras

Published in: ICALP (2) (2014)

Keyphrases

propositional logic
linear equations
mathematical model
differential equations
regular expressions
relational algebra
linear systems
algebraic expressions
boolean algebra
query language
numerical solution
nonlinear equations
algebraic equations
databases
closed form solutions
expert systems
image processing