Kleene Algebra with Products and Iteration Theories.

Dexter Kozen Konstantinos Mamouras

Published in: CSL (2013)

Keyphrases

regular expressions
propositional logic
query language
relational algebra
theoretical framework
data sets
boolean algebra
object oriented
convergence rate
formal models
software vendors
stopping criterion
product recommendation
defeasible logic
background knowledge
e learning
information systems
neural network