Program schemes, arrays, Lindström quantifiers and zero-one laws.

Iain A. Stewart

Published in: Theor. Comput. Sci. (2002)

Keyphrases

high level
database systems
first order logic
databases
real world
data mining
learning algorithm
information systems
static analysis
automatic programming