Login / Signup
Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study.
Cyprien Mangin
Matthieu Sozeau
Published in:
CoRR (2015)
Keyphrases
</>
decision trees
case study
test bed
differential equations
numerical solution
genetic algorithm
real world
artificial intelligence
multimedia
three dimensional
medical images
linear equations