( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computing with Infinite Objects: the Gray Code Case.

, и . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Heinz-Dieter Spreen

Gunnar Spreen

Otfried Spreen

Jürgen Spreen

Hado Spreen

 

Другие публикации лиц с тем же именем

A New Model Construction for the Polymorphic Lambda Calculus.. LPAR, том 1955 из Lecture Notes in Computer Science, стр. 275-292. Springer, (2000)On the Continuity of Effective Multifunctions.. CCA, том 221 из Electronic Notes in Theoretical Computer Science, стр. 271-286. Elsevier, (2008)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, том 171 из Lecture Notes in Computer Science, стр. 103-117. Springer, (1983)Effective Operators and Continuity Revisited.. LFCS, том 620 из Lecture Notes in Computer Science, стр. 459-469. Springer, (1992)06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality., , , и . Computational Structures for Modelling Space, Time and Causality, том 06341 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models., , , , и . Spatial Representation, том 04351 из Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2005)04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models., , , , и . Spatial Representation, том 04351 из Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2005)Computable One-to-one Enumerations of Effective Domains.. MFPS, том 298 из Lecture Notes in Computer Science, стр. 372-384. Springer, (1987)