Elimination of Cardinality Quantifiers.

Hans-Peter Tuschik

Published in: Math. Log. Q. (1982)

Keyphrases

natural language
dead end
database
data sets
similarity measure
cardinality constraints
databases
lower bound
artificial neural networks
scheduling problem
first order logic