Finitely generated free Heyting algebras: the well-founded initial segment.

R. Elageili John Kenneth Truss

Published in: J. Symb. Log. (2012)

Keyphrases

finite number
automatically generated
information systems
evolutionary algorithm
real time
machine learning
expert systems
level set
spatial reasoning