Inductive inference and computable numberings
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article (Journal) |
| Language: | English |
| Published: |
2011
|
| In: |
Theoretical computer science
Year: 2011, Volume: 412, Issue: 18, Pages: 1652-1668 |
| ISSN: | 1879-2294 |
| DOI: | 10.1016/j.tcs.2010.12.041 |
| Online Access: | Resolving-System, Volltext: http://dx.doi.org/10.1016/j.tcs.2010.12.041
|
| Author Notes: | Klaus Ambos-Spies; Serikzhan Badaev; Sergey Goncharov |
| Physical Description: | Online Resource |
|---|---|
| ISSN: | 1879-2294 |
| DOI: | 10.1016/j.tcs.2010.12.041 |