( en | de | ru )

 

Disambiguierung von "Spreen, Dieter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Effective Inseparability in a Topological Setting.

. Ann. Pure Appl. Log., 80 (3): 257-275 (1996)

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.

Heinz-Dieter Spreen

Gunnar Spreen

Jürgen Spreen

Otfried Spreen

Hado Spreen

 

Weitere Publikationen von Autoren mit dem selben Namen

A New Model Construction for the Polymorphic Lambda Calculus.. LPAR, Volume 1955 von Lecture Notes in Computer Science, Seite 275-292. Springer, (2000)On the Continuity of Effective Multifunctions.. CCA, Volume 221 von Electronic Notes in Theoretical Computer Science, Seite 271-286. Elsevier, (2008)Computable One-to-one Enumerations of Effective Domains.. MFPS, Volume 298 von Lecture Notes in Computer Science, Seite 372-384. Springer, (1987)Information systems revisited - the general continuous case., , und . Theor. Comput. Sci., 405 (1-2): 176-187 (2008)Computing with Infinite Objects: the Gray Code Case., und . CoRR, (2021)Foreword., , , , und . Theor. Comput. Sci., 365 (3): 169-170 (2006)Some results related to the continuity problem.. Math. Struct. Comput. Sci., 27 (8): 1601-1624 (2017)The largest Cartesian closed category of domains, considered constructively.. Math. Struct. Comput. Sci., 15 (2): 299-321 (2005)Effective Inseparability in a Topological Setting.. Ann. Pure Appl. Log., 80 (3): 257-275 (1996)On r.e. inseparability of CPO index sets.. Logic and Machines, Volume 171 von Lecture Notes in Computer Science, Seite 103-117. Springer, (1983)