From post

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.

 

Другие публикации лиц с тем же именем

The complexity of the comparator circuit value problem., , и . TOCT, 6 (4): 15:1-15:44 (2014)Characterizations of Pushdown Machines in Terms of Time-Bounded Computers.. J. ACM, 18 (1): 4-18 (1971)The Solvability of the Derivability Problem for One-Normal Systems.. J. ACM, 13 (2): 223-225 (1966)The importance of the P versus NP question.. J. ACM, 50 (1): 27-29 (2003)The Complexity of Proving the Discrete Jordan Curve Theorem, и . CoRR, (2010)The Complexity of the Comparator Circuit Value Problem, , и . CoRR, (2012)Theories for Subexponential-size Bounded-depth Frege Proofs., и . CSL, том 23 из LIPIcs, стр. 296-315. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem., , и . CSL, том 12 из LIPIcs, стр. 381-395. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)An Observation on Time-Storage Trade Off.. J. Comput. Syst. Sci., 9 (3): 308-316 (1974)A Hierarchy for Nondeterministic Time Complexity.. J. Comput. Syst. Sci., 7 (4): 343-353 (1973)