Model Theory Makes Formulas Large.

Anuj Dawar Martin Grohe Stephan Kreutzer Nicole Schweikardt

Published in: ICALP (2007)

Keyphrases

mathematical model
computational model
theoretical framework
theoretical foundation
formal model
real time
neural network
information systems
high level
probabilistic model
management system
conceptual model
control system
experimental data
sensitivity analysis
mathematical framework