Succinctness, Verifiability and Determinism in Representations of Polynomial-Time Languages

Theodore P. Baker, Juris Hartmanis. Succinctness, Verifiability and Determinism in Representations of Polynomial-Time Languages. In 20th Annual Symposium on Foundations of Computer Science, 29-31 October 1979, San Juan, Puerto Rico. pages 392-396, IEEE, 1979.

Authors

Theodore P. Baker

This author has not been identified. Look up 'Theodore P. Baker' in Google

Juris Hartmanis

This author has not been identified. Look up 'Juris Hartmanis' in Google