Strongly reducing variants of the Krivine abstract machine.

Published in: High. Order Symb. Comput. (2007)

Keyphrases

abstract machine
data model
real time
data sets
neural network
significantly reduced
machine learning
social networks
digital libraries
information technology
image retrieval