Predicative Lexicographic Path Orders: Towards a Maximal Model for Primitive Recursive Functions.

Published in: CoRR (2013)

Keyphrases

formal model
parameter estimation
mathematical model
high level
prior knowledge
probability distribution
computational model
experimental data
em algorithm
recursive functions