Local Variable Scoping and Kleene Algebra with Tests.

Kamal Aboul-Hosn Dexter Kozen

Published in: RelMiCS (2006)

Keyphrases

regular expressions
relational algebra
propositional logic
boolean algebra
decision making
data model
query language
expressive power
computer vision
complex objects
test data
algebraic expressions
elimination algorithm
post hoc
test cases
mobile robot
case study
information systems