Varieties of pseudocomplemented Kleene algebras.

Diego N. Castaño Valeria Castaño José Patricio Díaz Varela Marcela Muñoz Santis

Published in: Math. Log. Q. (2021)

Keyphrases

propositional logic
regular expressions
topological spaces
spatial reasoning
relation algebra
machine learning
clifford algebra
belief revision
distributive lattices
database
temporal reasoning
spatial information
control system
search algorithm
multimedia
image processing
decision making
real time