Kleene Algebra Modulo Theories.

Ryan Beckett Eric Hayden Campbell Michael Greenberg

Published in: CoRR (2017)

Keyphrases

modulo theories
answer set programming
propositional logic
regular expressions
query language
satisfiability modulo theories
stable model semantics
data model
relational algebra
real numbers