Terminating Tableaux for the Basic Fragment of Simple Type Theory.

Chad E. Brown Gert Smolka

Published in: TABLEAUX (2009)

Keyphrases

modal logic
neural network
real world
data mining
image segmentation
database systems
integrity constraints
information theory