Login / Signup
Optimal Unification of Infinite Sets of Types.
Jacek Marciniec
Published in:
Fundam. Informaticae (2004)
Keyphrases
</>
dynamic programming
optimal design
real numbers
neural network
worst case
real world
optimal solution
closed form
theorem prover
piecewise linear
finite sets