Residuated Kleene Algebras.

Hajnal Andréka Szabolcs Mikulás István Németi

Published in: Logic and Program Semantics (2012)

Keyphrases

propositional logic
regular expressions
distributive lattices
clifford algebra
topological spaces
information retrieval
spatial reasoning
data sets
machine learning
metadata
image processing
pattern matching
boolean algebra