Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Nick Bezhanishvili Mai Gehrke

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

Keyphrases

real time
automatically generated
finite number
neural network
linear programming
distributive lattices
information retrieval
genetic algorithm
information systems
video sequences
data analysis
artificial neural networks
special case
randomly selected
automatically generating