مورد إلكتروني
Real Analytic Machines and Degrees
| العنوان: | Real Analytic Machines and Degrees |
|---|---|
| بيانات النشر: | 2010-06-02 2011-09-01 |
| تفاصيل مُضافة: | Gärtner, Tobias Ziegler, Martin |
| نوع الوثيقة: | Electronic Resource |
| مستخلص: | We study and compare in two degree-theoretic ways (iterated Halting oracles analogous to Kleene's arithmetical hierarchy and the Borel hierarchy of descriptive set theory) the capabilities and limitations of three models of analytic computation: BSS machines (aka real-RAM) and strongly/weakly analytic machines as introduced by Hotz et. al. (1995). Comment: 20 pages. A preliminary version of this work had appeared in Proc. CCA 2011, EPTCS vol.24, arXiv:1006.0398v1 |
| مصطلحات الفهرس: | Computer Science - Logic in Computer Science, Mathematics - Logic, F.4.1, F.1.1, G.1.0, text |
| DOI: | 10.2168.LMCS-7(3:11)2011 |
| URL: | |
| الإتاحة: | Open access content. Open access content |
| أرقام أخرى: | COO oai:arXiv.org:1006.0398 Logical Methods in Computer Science, Volume 7, Issue 3 (September 2, 2011) lmcs:1019 doi:10.2168/LMCS-7(3:11)2011 691098614 |
| المصدر المساهم: | CORNELL UNIV From OAIster®, provided by the OCLC Cooperative. |
| رقم الأكسشن: | edsoai.ocn691098614 |
| قاعدة البيانات: | OAIster |
| DOI: | 10.2168.LMCS-7(3:11)2011 |
|---|