Correct Computation Rules for Recursive Languages (Extended Abstract)

Peter J. Downey, Ravi Sethi. Correct Computation Rules for Recursive Languages (Extended Abstract). In 16th Annual Symposium on Foundations of Computer Science, 13-15 October, 1975, The University of California, Berkeley, CA, USA. pages 48-56, IEEE, 1975.

Authors

Peter J. Downey

This author has not been identified. Look up 'Peter J. Downey' in Google

Ravi Sethi

This author has not been identified. Look up 'Ravi Sethi' in Google