Efficient Longest and Infinite Reduction Paths in Untyped Lambda-Calculi.

Morten Heine Sørensen

Published in: CAAP (1996)

Keyphrases

real world
cost effective
highly efficient
real time
databases
neural network
decision trees
constraint satisfaction problems
spatial information