Algebraic coherent confluence and higher-dimensional globular Kleene algebras.

Cameron Calk Eric Goubault Philippe Malbos Georg Struth

Published in: CoRR (2020)

Keyphrases

higher dimensional
euclidean space
high dimensional
distance transform
propositional logic
low dimensional
protein sequences
lower dimensional
finite dimensional
regular expressions
object recognition
image analysis
data sets
feature space
belief revision