{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:31:27Z","timestamp":1730280687593,"version":"3.28.0"},"reference-count":50,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005139","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-12","source":"Crossref","is-referenced-by-count":1,"title":["Bounded time computation on metric spaces and Banach spaces"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Schroder","sequence":"first","affiliation":[]},{"given":"Florian","family":"Steinberg","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129513000376"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005139"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(76)80035-9"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1966-11586-0"},{"key":"ref31","first-page":"32","article-title":"Notions of computability at higher types. I","volume":"19","author":"longley","year":"2005","journal-title":"Logic Colloquium 2000 Lect Notes Log"},{"key":"ref30","first-page":"3","article-title":"?-entropy and ?-capacity of sets in function spaces","volume":"14","author":"kolmogorov","year":"1959","journal-title":"Uspehi Mat Nauk"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310111"},{"journal-title":"Admissible Representations for Continuous Computations","year":"2002","author":"schr\u00f6der","key":"ref36"},{"key":"ref35","first-page":"105","article-title":"Constructive aspects of analytic functions","author":"norbert","year":"1995","journal-title":"Computability and Complexity in Analysis"},{"journal-title":"Müller irram-exact arithmetic in c++","year":"0","author":"norbert","key":"ref34"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.06.038"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08019-2_25"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935311"},{"journal-title":"Polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length (journal version)","year":"2016","author":"bournez","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11512-007-0045-x"},{"journal-title":"Introduction to Metamathematics","year":"1952","author":"kleene","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6802-1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2015.05.001"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050055"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44465-8_37"},{"key":"ref26","article-title":"Applied proof theory: proof interpretations and their use in mathematics","author":"kohlenbach","year":"2008","journal-title":"Springer Monographs in Mathematics"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.na.2005.01.075"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/792538.792542"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF02392270"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2014.02.008"},{"journal-title":"Complexity theory for spaces of integrable functions","year":"2016","author":"steinberg","key":"ref40"},{"journal-title":"Higher order complexity in analysis","year":"2013","author":"f\u00e9r\u00e9e","key":"ref12"},{"journal-title":"On the computational complexity of positive linear functionals on c[0 1]","year":"2015","author":"f\u00e9r\u00e9e","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4064\/fm-42-1-168-202"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00290-4"},{"key":"ref16","first-page":"454","volume":"344","author":"howard","year":"0","journal-title":"Appendix Hereditarily majorizable function of finite type"},{"journal-title":"Computational complexity in analysis and geometry","year":"2011","author":"kawamura","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794263452"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2189778.2189780"},{"journal-title":"Foundations of Constructive Analysis","year":"1967","author":"bishop","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00066-4"},{"key":"ref6","first-page":"1145","article-title":"On the effective existence of Schauder bases","volume":"15","author":"bosserhoff","year":"2009","journal-title":"J UCS"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/507382.507387"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2006.04.007"},{"key":"ref7","article-title":"Computability of Banach space principles","volume":"286","author":"brattka","year":"2001","journal-title":"Ulmer Informatik-Berichte"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200710015"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.topol.2004.02.011"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9"},{"key":"ref45","volume":"9","author":"weihrauch","year":"1987","journal-title":"Computability EATCS Monographs on Theoretical Computer Science"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2006.06.001"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310001"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023783"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20028-6_34"},{"key":"ref44","article-title":"Constructivism in mathematics","volume":"121","author":"troelstra","year":"1988","journal-title":"Vol I Studies in Logic and the Foundations of Mathematics"},{"key":"ref43","first-page":"5","article-title":"On computable numbers, with an application to the Entscheidungsproblem","volume":"58","author":"turing","year":"1936","journal-title":"J of Mathematics"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2017,6,20]]},"location":"Reykjavik, Iceland","end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005139.pdf?arnumber=8005139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T23:54:05Z","timestamp":1506988445000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005139\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005139","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}