مورد إلكتروني
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 |
---|