An Abstract Form of the Church-Rosser Theorem. I.

J. Roger Hindley

Published in: J. Symb. Log. (1969)

Keyphrases

high level
low level
real time
data sets
data structure
neural network
information retrieval
support vector
search algorithm
object recognition
trade off
mobile robot