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.

 

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

Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded Functionals.. J. Comput. Syst. Sci., 54 (3): 424-436 (1997)Every polynomial-time 1-degree collapses if and only if P = PSPACE., , и . J. Symb. Log., 69 (3): 713-741 (2004)Two Recursion Theoretic Characterizations of Proof Speed-Ups.. J. Symb. Log., 54 (2): 522-526 (1989)Two Algorithms in Search of a Type-System., и . Theory Comput. Syst., 45 (4): 787-821 (2009)Average Dependence and Random Oracles., , и . SCT, стр. 306-317. IEEE Computer Society, (1992)Semantics versus Syntax versus Computations.. SCT, стр. 37-48. IEEE Computer Society, (1995)Collapsing Degrees (Extended Abstract), , и . FOCS, стр. 380-389. IEEE Computer Society, (1986)Active transport in biological computing., , , и . DNA Based Computers, том 44 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 171-179. DIMACS/AMS, (1996)Ramified Structural Recursion and Corecursion, и . CoRR, (2012)Semi-automatic complexity analysis of a higher-order language, , и . CoRR, (2012)