A Finite First-Order Theory of Classes.

Florent Kirchner

Published in: TYPES (2006)

Keyphrases

finitely representable
finite model theory
database
higher order
theoretical framework
real numbers
neural network
query language
finite number
theoretical basis
formal theory