Strong normalization results by translation.

René David Karim Nour

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

machine translation
high level
preprocessing
cross language information retrieval
neural network
real time
data sets
learning algorithm
multi agent