A wild model of linear arithmetic and discretely ordered modules.

Petr Glivický Pavel Pudlák

Published in: Math. Log. Q. (2017)

Keyphrases

multiscale
real time
computational model
statistical model
sensitivity analysis
network model
learning algorithm
decision trees
case study
probability distribution
management system
parameter estimation
closed form
formal model
linear model