Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Response to a Letter to the Editor.. IEEE Software, 5 (4): 4-6 (1988)On Monadic NP vs. Monadic co-NP, , und . Inf. Comput., 120 (1): 78-92 (Juli 1995)Special issue on SR 2013., , und . Inf. Comput., (2015)Church's problem revisited., und . Bulletin of Symbolic Logic, 5 (2): 245-263 (1999)2011 CAV award announcement., , , und . Formal Methods in System Design, 41 (1): 1-2 (2012)2009 CAV award announcement., , , und . Formal Methods in System Design, 36 (3): 195-197 (2010)A Nonstandard Approach to the Logical Omniscience Problem., , und . Artif. Intell., 79 (2): 203-240 (1995)The Decision Problem for Database Dependencies.. Inf. Process. Lett., 12 (5): 251-254 (1981)Aggregating disparate estimates of chance., und . Games and Economic Behavior, 56 (1): 148-173 (2006)A responce to Ä complete axiomatisation for full join dependencies in relations".. Bulletin of the EATCS, (1985)