Complexity of Formal Translations and Speed-Up Results

Robert L. Constable, Juris Hartmanis

Browse the full STOC paper archive.