( en | de | ru )

 

Disambiguation of "Young, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Grady Leon Young

Christopher Young

Mark Young

Charlotte Young

Hans Peter Young

 

Other publications of authors with the same name

Corrigendum: Speed-ups by Changing the Order in which Sets are Enumerated.. Math. Syst. Theory, 7 (4): 352 (1974)see: Mathematical Systems Theory 5(2): 148-156(1971).The 1988 Snowbird Report: A Discipline Matures., , and . Commun. ACM, 32 (3): 294-297, 318 (1989)Fast Programs for Initial Segments and Polynomial Time Computation in Weak Models of Arithmetic (Preliminary Abstract), and . STOC, page 55-61. ACM, (1981)Intelligent Simulation-Based Lot Scheduling of Photolithography Toolsets in a Wafer Fabrication Facility., and . WSC, page 1935-1942. IEEE Computer Society, (2004)In The Meaning Of Essentially Unprovable Theorems In The Presburger Theory Of Addition., and . Kurt Gödel Colloquium, volume 713 of Lecture Notes in Computer Science, page 187-189. Springer, (1993)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)How reductions to sparse sets collapse the polynomial-time hierarchy: a primer; part I: polynomial-time Turing reductions.. SIGACT News, 23 (3): 107-117 (1992)Text File Format Identification: An Application of AI for the Curation of Digital Records., , and . iPRES, (2021)Generalization of EF-based Assignment Strategies for Cycle Time Optimization at Complex wet Stations., , and . WSC, page 3660-3671. IEEE, (2018)Evaluation of Middleware Architectures in Achieving System Interoperability., , , and . IEEE International Workshop on Rapid System Prototyping, page 108-116. IEEE Computer Society, (2003)