Model completeness and relative decidability.

Jennifer Chubb Russell G. Miller Reed Solomon

Published in: Arch. Math. Log. (2021)

Keyphrases

theoretical framework
probabilistic model
mathematical model
high level
database
objective function
theoretical analysis
computational model
sensitivity analysis
object model
probability distribution
experimental data
bayesian framework