Sign in
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