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

Computing with functionals - computability theory or computer science?. Bulletin of Symbolic Logic, 12 (1): 43-59 (2006)The Computational Power of Muomega., und . Math. Log. Q., 48 (1): 117-124 (2002)Mathematics of computing at CiE 2005., , und . Mathematical Structures in Computer Science, 16 (5): 735-736 (2006)The Definability of E(alpha)., und . J. Symb. Log., 49 (2): 437-442 (1984)Hereditarily effective typestreams.. Arch. Math. Log., 36 (3): 219-225 (1997)Set recursion and Πhalf-logic., und . Ann. Pure Appl. Logic, 28 (3): 255-286 (1985)Banach Spaces as Data Types. Logical Methods in Computer Science, (2011)S. Barry Cooper (1943-2015)., , , , , , , , , und . Computability, 7 (2-3): 103-131 (2018)Computability in Europe 2011., , , und . Ann. Pure Appl. Logic, 164 (5): 509-510 (2013)Closing the gap between the continuous functionals and recursion in 3E.. Arch. Math. Log., 36 (4-5): 269-287 (1997)