Free-decomposability in varieties of semi-Heyting algebras.

Manuel Abad Juan Manuel Cornejo J. Patricio Díaz Varela

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

Keyphrases

computer vision
three dimensional
set theory
distributive lattices
machine learning
face recognition
mobile robot
spatial reasoning