Errata: "Testing for the Church-Rosser Property".

Published in: J. ACM (1975)

Keyphrases

neural network
databases
decision making
cooperative
software testing
data mining
information systems
image sequences
desirable properties