Testing for the Church-Rosser Property.

Ronald V. Book Colm Ó'Dúnlaing

Published in: Theor. Comput. Sci. (1981)

Keyphrases

test cases
software testing
neural network
computer vision
data structure
cooperative
test data
databases
multiscale
multi agent systems
preprocessing
evolutionary algorithm
multiresolution
software systems
testing process