Login / Signup
Models and termination of proof-reduction in the $λ$$Π$-calculus modulo theory.
Gilles Dowek
Published in:
CoRR (2015)
Keyphrases
</>
complex systems
statistical models
mathematical framework
probabilistic model
accurate models
data sets
artificial intelligence
decision trees
database systems
parametric models
formal models
natural deduction