( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Classical Decision Problem.

. Current Trends in Theoretical Computer Science, том 40 из World Scientific Series in Computer Science, World Scientific, (1993)

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.

Evgeny Gurevich

Svetlana Gurevich

Denis Yurin

José Antonio Yuri Salomón

Yuri Suris

 

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

Algenraic Operational Semantics.. FSTTCS, том 287 из Lecture Notes in Computer Science, стр. 1-2. Springer, (1987)Exact Exploration and Hanging Algorithms., , и . CSL, том 6247 из Lecture Notes in Computer Science, стр. 140-154. Springer, (2010)Ordinary interactive small-step algorithms, III., и . ACM Trans. Comput. Log., 8 (3): 16 (2007)Inverse privacy., и . Commun. ACM, 59 (7): 38-42 (2016)Invited Talk: ASM Formalware in the Software Engineering Cycle.. AMAST, том 1816 из Lecture Notes in Computer Science, стр. 197. Springer, (2000)Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information., , и . IJCAI, стр. 634-639. Morgan Kaufmann, (1993)A Natural Axiomatization of Computability and Proof of Church's Thesis., и . Bull. Symb. Log., 14 (3): 299-350 (2008)Rabin's Uniformization Problem., и . J. Symb. Log., 48 (4): 1105-1119 (1983)ERRATA to "The Semantics of the C Programming Language"., и . CSL, том 832 из Lecture Notes in Computer Science, стр. 334-336. Springer, (1993)On the Reduction Theory for Average Case Complexity., и . CSL, том 533 из Lecture Notes in Computer Science, стр. 17-30. Springer, (1990)