Author of the publication

Fast Programs for Initial Segments and Polynomial Time Computation in Weak Models of Arithmetic (Preliminary Abstract)

, and . STOC, page 55-61. ACM, (1981)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Kolmogorov Complexity, Restrited Nondeterminism and Generalized Spectra., and . STACS, volume 415 of Lecture Notes in Computer Science, page 152-164. Springer, (1990)Strong Separations for the Boolean Hierarchy over RP., , and . Int. J. Found. Comput. Sci., 1 (3): 201-218 (1990)Which Triangulations Approximate the Complete Graph?., and . Optimal Algorithms, volume 401 of Lecture Notes in Computer Science, page 168-192. Springer, (1989)A Structural Overview of NP Optimization Problems., , and . Optimal Algorithms, volume 401 of Lecture Notes in Computer Science, page 205-231. Springer, (1989)Determining DNA Sequence Similarity Using Maximum Independent Set Algorithms for Interval Graphs., , and . SWAT, volume 621 of Lecture Notes in Computer Science, page 326-337. Springer, (1992)Minimum Vertex Hulls for Polyhedral Domains., and . STACS, volume 415 of Lecture Notes in Computer Science, page 126-137. Springer, (1990)Movement Problems for 2-Dimensional Linkages, , and . SIAM Journal on Computing, 13 (3): 610-629 (August 1984)Fast Programs for Initial Segments and Polynomial Time Computation in Weak Models of Arithmetic (Preliminary Abstract), and . STOC, page 55-61. ACM, (1981)Generalized Boolean Hierarchies and Boolean Hierarchies Over RP (Conference Abstract)., , , , and . FCT, volume 380 of Lecture Notes in Computer Science, page 35-46. Springer, (1989)Three Results on the Polynomial Isomorphism of Complete Sets, and . FOCS, page 390-397. IEEE Computer Society, (1986)