Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra

Gespeichert in:

Bibliographische Detailangaben

Zeitschriftentitel:	Annals of Pure and Applied Logic
Personen und Körperschaften:	Ziegler, Martin
In:	Annals of Pure and Applied Logic, 163, 2012, 8, S. 1108-1139
Format:	E-Article
Sprache:	Englisch
veröffentlicht:	Elsevier BV
Schlagwörter:	Logic