Suchergebnisse - Spreen, Dieter

1

Computing with Infinite Objects: the Gray Code Case von Spreen, Dieter, Berger, Ulrich

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Generalised information systems capture L-domains von Spreen, Dieter

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Computing with continuous objects: a uniform co-inductive approach von Spreen, Dieter

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Some results related to the continuity problem von SPREEN, DIETER

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

A coinductive approach to computing with compact sets von Berger, Ulrich, Spreen, Dieter

Veröffentlicht in Journal of logic and analysis

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Effectivity and effective continuity of multifunctions von Spreen, Dieter

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

How Much Partiality Is Needed for a Theory of Computability? von Spreen, Dieter

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Bi-topological spaces and the Continuity Problem von Spreen, Dieter

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013 von ISHIHARA, HAJIME, KOROVINA, MARGARITA, PAULY, ARNO, SEISENBERGER, MONIKA, SPREEN, DIETER

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Computing with Continuous Objects: A Uniform Co-inductive Approach von Spreen, Dieter

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Generalised Information Systems Capture L-Domains von Spreen, Dieter

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Computing with Infinite Objects: the Gray Code Case von Spreen, Dieter, Berger, Ulrich

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

How Much Partiality Is Needed for a Theory of Computability? von Spreen, Dieter

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Preface to the special issue: Computing with infinite data: topological and logical foundations von BERGER, ULRICH, BRATTKA, VASCO, SELIVANOV, VICTOR, SPREEN, DIETER, TSUIKI, HIDEKI

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Information systems revisited — the general continuous case von Spreen, Dieter, Xu, Luoshan, Mao, Xuxin

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Bi-topological spaces and the Continuity Problem von Spreen, Dieter

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Information Systems with Witnesses: The Function Space Construction von Spreen, Dieter

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014) von Bauer, Andrej, Berger, Ulrich, Fouché, Willem, Spreen, Dieter, Tsuiki, Hideki, Ziegler, Martin

Veröffentlicht in Journal of logic and analysis

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Information Systems with Witnesses: The Function Space Construction von Spreen, Dieter

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Foreword von Berger, Ulrich, Brattka, Vasco, Morozov, Andrei S., Spreen, Dieter

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Computing with Infinite Objects: the Gray Code Case von Spreen, Dieter, Berger, Ulrich

Generalised information systems capture L-domains von Spreen, Dieter

Computing with continuous objects: a uniform co-inductive approach von Spreen, Dieter

Some results related to the continuity problem von SPREEN, DIETER

A coinductive approach to computing with compact sets von Berger, Ulrich, Spreen, Dieter

Effectivity and effective continuity of multifunctions von Spreen, Dieter

How Much Partiality Is Needed for a Theory of Computability? von Spreen, Dieter

Bi-topological spaces and the Continuity Problem von Spreen, Dieter

Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013 von ISHIHARA, HAJIME, KOROVINA, MARGARITA, PAULY, ARNO, SEISENBERGER, MONIKA, SPREEN, DIETER

Computing with Continuous Objects: A Uniform Co-inductive Approach von Spreen, Dieter

Generalised Information Systems Capture L-Domains von Spreen, Dieter

Computing with Infinite Objects: the Gray Code Case von Spreen, Dieter, Berger, Ulrich

How Much Partiality Is Needed for a Theory of Computability? von Spreen, Dieter

Preface to the special issue: Computing with infinite data: topological and logical foundations von BERGER, ULRICH, BRATTKA, VASCO, SELIVANOV, VICTOR, SPREEN, DIETER, TSUIKI, HIDEKI

Information systems revisited — the general continuous case von Spreen, Dieter, Xu, Luoshan, Mao, Xuxin

Bi-topological spaces and the Continuity Problem von Spreen, Dieter

Information Systems with Witnesses: The Function Space Construction von Spreen, Dieter

Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014) von Bauer, Andrej, Berger, Ulrich, Fouché, Willem, Spreen, Dieter, Tsuiki, Hideki, Ziegler, Martin

Information Systems with Witnesses: The Function Space Construction von Spreen, Dieter

Foreword von Berger, Ulrich, Brattka, Vasco, Morozov, Andrei S., Spreen, Dieter

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle