Quantifiers and Congruence Closure.

Jörg Flum Matthias Schiehlen Jouko A. Väänänen

Published in: Stud Logica (1999)

Keyphrases

socio technical
neural network
decision trees
natural language
first order logic
databases
pattern recognition
data sets
learning algorithm
case study
pairwise
closure operator
closure properties