Some Counterexamples in the Partition Calculus.

Fred Galvin Saharon Shelah

Published in: J. Comb. Theory, Ser. A (1973)

Keyphrases

database
real time
databases
neural network
partitioning algorithm
computer algebra
expressive power
formal language
automated deduction