Algebraic coherent confluence and higher globular Kleene algebras.

Cameron Calk Eric Goubault Philippe Malbos Georg Struth

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

propositional logic
spatial reasoning
data sets
protein sequences
high levels
neural network
database systems
video sequences
clifford algebra