PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Gurevich, Yuri"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interactive Small-Step Algorithms I: Axiomatization.

, , , und . Logical Methods in Computer Science, (2007)

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

A Natural Axiomatization of Computability and Proof of Church's Thesis., und . Bulletin of Symbolic Logic, 14 (3): 299-350 (2008)Choiceless Polynomial Time., , und . Ann. Pure Appl. Logic, 100 (1-3): 141-187 (1999)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)Propositional primal logic with disjunction., und . J. Log. Comput., 24 (1): 257-282 (2014)A Zero-One Law for Logic with a Fixed-Point Operator, , und . Information and Control, 67 (1-3): 70-90 (Oktober 1985)Metafinite Model Theory., und . Inf. Comput., 140 (1): 26-81 (1998)Preface. Inf. Comput., 87 (1/2): 1 (Juli 1990)Abstract State Machines and Computationally Complete Query Languages., , und . Inf. Comput., 174 (1): 20-36 (2002)Datalog vs First-Order Logic., und . J. Comput. Syst. Sci., 49 (3): 562-588 (1994)The Decision Problem for Standard Classes.. J. Symb. Log., 41 (2): 460-464 (1976)