Login / Signup
Kleene Algebra.
Alasdair Armstrong
Georg Struth
Tjark Weber
Published in:
Arch. Formal Proofs (2013)
Keyphrases
</>
propositional logic
regular expressions
query language
relational algebra
data model
real numbers
algebraic geometry
data sets
information retrieval
objective function
boolean algebra
algebraic expressions
real time
learning algorithm
search algorithm
digital libraries