Login / Signup
Strong normalisation for applied lambda calculi
Ulrich Berger
Published in:
CoRR (2005)
Keyphrases
</>
neural network
real time
database
data sets
real world
learning algorithm
optimal solution
information technology
relational databases
multiresolution
mobile robot
fixed point