Buchumschlag

Inductive inference and computable numberings

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Ambos-Spies, Klaus (VerfasserIn) , Badaev, Serikzhan (VerfasserIn) , Gončarov, Sergej S. (VerfasserIn)
Dokumenttyp: Article (Journal)
Sprache:Englisch
Veröffentlicht: 2011
In: Theoretical computer science
Year: 2011, Jahrgang: 412, Heft: 18, Pages: 1652-1668
ISSN:1879-2294
DOI:10.1016/j.tcs.2010.12.041
Online-Zugang:Resolving-System, Volltext: http://dx.doi.org/10.1016/j.tcs.2010.12.041
Volltext
Verfasserangaben:Klaus Ambos-Spies; Serikzhan Badaev; Sergey Goncharov
Beschreibung
Beschreibung:Online Resource
ISSN:1879-2294
DOI:10.1016/j.tcs.2010.12.041

Ähnliche Einträge