Login / Signup
On Strong Normalization of Explicit Substitution Calculi (Short Note).
Frédéric Lang
Pierre Lescanne
Published in:
J. Funct. Log. Program. (2000)
Keyphrases
</>
real time
high level
databases
computer vision
decision making
spatial relations
neural network
machine learning
search engine
information systems
knowledge base
multiscale
search algorithm