E-LIB Suche - Ergebnisse für: Spreen, Dieter

1

Computing with Infinite Objects: the Gray Code Case:

Spreen, Dieter ; Berger, Ulrich
Logical Methods in Computer Science. 19, Issue 3 (2023) - p. , 2023

Link: https://doi.org/10.46298..

2

Computing with continuous objects: a uniform co-inductive a..:

Spreen, Dieter
Mathematical Structures in Computer Science. 31 (2021) 2 - p. 144-192 , 2021

Link: https://doi.org/10.1017/..

3

Generalised information systems capture L-domains:

Spreen, Dieter
Theoretical Computer Science. 869 (2021) - p. 1-28 , 2021

Link: https://doi.org/10.1016/..

4

Some results related to the continuity problem:

SPREEN, DIETER
Mathematical Structures in Computer Science. 27 (2016) 8 - p. 1601-1624 , 2016

Link: https://doi.org/10.1017/..

5

Preface to the special issue: Continuity, computability, co..:

ISHIHARA, HAJIME ; KOROVINA, MARGARITA ; PAULY, ARNO..
Mathematical Structures in Computer Science. 27 (2016) 8 - p. 1285-1286 , 2016

Link: https://doi.org/10.1017/..

6

Logic, Computation, Hierarchies

Ontos Mathematical Logic ; 4;Ontos mathematical logic ; 4;De Gruyter eBook-Paket Philosophie

Brattka, Vasco ; Diener, Hannes ; Spreen, Dieter , 2014

Link: https://doi.org/10.1515/..

7

The life and work of Victor L. Selivanov:

, In: Logic, Computation, Hierarchies,

Spreen, Dieter - p. 1-8 , 2014

Link: https://doi.org/10.1515/..

8

Logic, Computation, Hierarchies

Ontos Mathematical Logic, v. 4

Brattka, Vasco ; Diener, Hannes ; Spreen, Dieter , 2014

Link: https://search.ebscohost..

9

Preface to the special issue: Computing with infinite data:..:

BERGER, ULRICH ; BRATTKA, VASCO ; SELIVANOV, VICTOR..
Mathematical Structures in Computer Science. 25 (2014) 7 - p. 1463-1465 , 2014

Link: https://doi.org/10.1017/..

10

PARTIAL NUMBERINGS AND PRECOMPLETENESS:

, In: Logic, Computation, Hierarchies,

Spreen, Dieter - p. 325-340 , 2014

Link: https://doi.org/10.1515/..

11

AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS:

, In: Logic, Computation, Hierarchies,

Spreen, Dieter - p. 341-382 , 2014

Link: https://doi.org/10.1515/..

12

Foreword:

Berger, Ulrich ; Brattka, Vasco ; Morozov, Andrei S..
Annals of Pure and Applied Logic. 163 (2012) 8 - p. 973-974 , 2012

Link: https://doi.org/10.1016/..

13

EFFECTIVITY AND EFFECTIVE CONTINUITY OF MULTIFUNCTIONS:

SPREEN, DIETER
The Journal of Symbolic Logic. 75 (2010) 2 - p. 602-640 , 2010

Link: https://www.jstor.org/st..

14

On the Continuity of Effective Multifunctions:

Spreen, Dieter
Electronic Notes in Theoretical Computer Science. 221 (2008) - p. 271-286 , 2008

Link: https://doi.org/10.1016/..

15

Information systems revisited — the general continuous case:

Spreen, Dieter ; Xu, Luoshan ; Mao, Xuxin
Theoretical Computer Science. 405 (2008) 1-2 - p. 176-187 , 2008

Link: https://doi.org/10.1016/..