Correct Computation Rules for Recursive Languages (Extended Abstract)

Peter J. DowneyRavi Sethi
Published in: FOCS (1975)
Keyphrases