( en | de | ru )

 

Disambiguierung von "Gurevich, Yuri"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Classical Decision Problem.

. Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Evgeny Gurevich

Svetlana Gurevich

Denis Yurin

José Antonio Yuri Salomón

Yuri Suris

 

Weitere Publikationen von Autoren mit dem selben Namen

The bakery algorithm: yet another specification and verification., , und . Specification and validation methods, Oxford University Press, (1993)Evolving algebras 1993: Lipari guide.. Specification and validation methods, Oxford University Press, (1993)Invited Talk: ASM Formalware in the Software Engineering Cycle.. AMAST, Volume 1816 von Lecture Notes in Computer Science, Seite 197. Springer, (2000)Exact Exploration and Hanging Algorithms., , und . CSL, Volume 6247 von Lecture Notes in Computer Science, Seite 140-154. Springer, (2010)Algenraic Operational Semantics.. FSTTCS, Volume 287 von Lecture Notes in Computer Science, Seite 1-2. Springer, (1987)AMAST'91 Banquet Talk.. Current Trends in Theoretical Computer Science, World Scientific, (2001)Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information., , und . IJCAI, Seite 634-639. Morgan Kaufmann, (1993)Rabin's Uniformization Problem., und . J. Symb. Log., 48 (4): 1105-1119 (1983)ERRATA to "The Semantics of the C Programming Language"., und . CSL, Volume 832 von Lecture Notes in Computer Science, Seite 334-336. Springer, (1993)On the Reduction Theory for Average Case Complexity., und . CSL, Volume 533 von Lecture Notes in Computer Science, Seite 17-30. Springer, (1990)