Church-Rosser Theorem for Typed Functional Systems.

George Koletsos

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

Keyphrases

learning systems
real time
neural network
information retrieval
learning algorithm
higher order
programming language
management system
von neumann
complex systems
building blocks
intelligent systems
distributed systems
optimal solution
three dimensional
computer vision
data sets