Kleene Algebras with Domain.

Victor B. F. Gomes Walter Guttmann Peter Höfner Georg Struth Tjark Weber

Published in: Arch. Formal Proofs (2016)

Keyphrases

domain specific
databases
knowledge base
image processing
propositional logic
database
data sets
computer vision
objective function
regular expressions