DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gaertner, Tobias | ko |
dc.contributor.author | Ziegler, Martin | ko |
dc.date.accessioned | 2016-04-12T07:51:24Z | - |
dc.date.available | 2016-04-12T07:51:24Z | - |
dc.date.created | 2015-09-17 | - |
dc.date.created | 2015-09-17 | - |
dc.date.created | 2015-09-17 | - |
dc.date.created | 2015-09-17 | - |
dc.date.issued | 2011 | - |
dc.identifier.citation | LOGICAL METHODS IN COMPUTER SCIENCE, v.7, no.3 | - |
dc.identifier.issn | 1860-5974 | - |
dc.identifier.uri | http://hdl.handle.net/10203/203391 | - |
dc.description.abstract | We study and compare in 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 real computation: BSS machines (aka real-RAM) and strongly/weakly analytic machines as introduced by Hotz et al. (1995). | - |
dc.language | English | - |
dc.publisher | TECH UNIV BRAUNSCHWEIG | - |
dc.title | REAL ANALYTIC MACHINES AND DEGREES: A TOPOLOGICAL VIEW ON ALGEBRAIC LIMITING COMPUTATION | - |
dc.type | Article | - |
dc.identifier.wosid | 000301228300004 | - |
dc.identifier.scopusid | 2-s2.0-80355131191 | - |
dc.type.rims | ART | - |
dc.citation.volume | 7 | - |
dc.citation.issue | 3 | - |
dc.citation.publicationname | LOGICAL METHODS IN COMPUTER SCIENCE | - |
dc.identifier.doi | 10.2168/LMCS-7(3:11)2011 | - |
dc.embargo.liftdate | 9999-12-31 | - |
dc.embargo.terms | 9999-12-31 | - |
dc.contributor.localauthor | Ziegler, Martin | - |
dc.contributor.nonIdAuthor | Gaertner, Tobias | - |
dc.description.isOpenAccess | N | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | Limiting Computation | - |
dc.subject.keywordAuthor | Blum-Shub-Smale Model | - |
dc.subject.keywordAuthor | Borel Hierarchy | - |
dc.subject.keywordAuthor | Halting Oracle | - |
dc.subject.keywordPlus | NUMBERS | - |
dc.subject.keywordPlus | COMPLEXITY | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.