Closed Sets and Operators thereon: Representations, Computability and Complexity

The TTE approach to Computable Analysis is the study of so-called representations (encodings for continuous objects such as reals, functions, and sets) with respect to the notions of computability they induce. A rich variety of such representations had been devised over the past decades, particularl...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Logical methods in computer science Jg. 14, Issue 2
1. Verfasser:	Rösnick-Neugebauer, Carsten
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Logical Methods in Computer Science e.V 10.04.2018
Schlagworte:	03d15 computer science - computational complexity computer science - logic in computer science f.4.1 mathematics - logic
ISSN:	1860-5974, 1860-5974
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!