A domain model characterising strong normalisation.

Published in: Ann. Pure Appl. Log. (2008)

Keyphrases

probabilistic model
probability distribution
computational model
mathematical model
formal model
multiscale
theoretical analysis
process model
conceptual model
domain models
genetic algorithm
hybrid model
network model
neural network model
sensitivity analysis
experimental data
d objects
website
knowledge base