PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Gurevich, Yuri"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Partially Ordered Runs: A Case Study.

, und . Abstract State Machines, Volume 1912 von Lecture Notes in Computer Science, Seite 131-150. Springer, (2000)

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.

Keine Personen gefunden für den Autorennamen Gurevich, Yuri
Eine Person hinzufügen mit dem Namen Gurevich, Yuri
 

Weitere Publikationen von Autoren mit dem selben Namen

Propositional primal logic with disjunction., und . J. Log. Comput., 24 (1): 257-282 (2014)Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems., , und . Ann. Pure Appl. Logic, 78 (1-3): 111-125 (1996)Choiceless Polynomial Time., , und . Ann. Pure Appl. Logic, 100 (1-3): 141-187 (1999)A Natural Axiomatization of Computability and Proof of Church's Thesis., und . Bulletin of Symbolic Logic, 14 (3): 299-350 (2008)Logic in Computer Science.. Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)On the Classical Decision Problem.. Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)Semantic essence of AsmL., , und . Theor. Comput. Sci., 343 (3): 370-412 (2005)Equivalence is in the Eye of the Beholder., und . Theor. Comput. Sci., 179 (1-2): 353-380 (1997)Formalizing Database Recovery., , und . J. UCS, 3 (4): 320-340 (1997)Evidential Authorization., , , und . The Future of Software Engineering, Seite 73-99. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.