Model Transformations in Decidability Proofs for Monadic Theories.

Wolfgang Thomas

Published in: CSL (2008)

Keyphrases

high level
probabilistic model
prediction model
similarity measure
social networks
computational model
mathematical model
simulation model
formal model
prior knowledge
theoretical framework
statistical model
neural network model
decision procedures