Elementary canonical formulae: extending Sahlqvist's theorem.

Valentin Goranko Dimiter Vakarelov

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

von neumann
canonical form
database
data mining
knowledge base
image sequences
expert systems
management system
school children