Free Heyting Algebras: Revisited.

Nick Bezhanishvili Mai Gehrke

Published in: CALCO (2009)

Keyphrases

databases
information retrieval
computer vision
high level
data structure
artificial neural networks
expressive power