{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:12:48Z","timestamp":1725487968626},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730002"},{"type":"electronic","value":"9783540730019"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73001-9_42","type":"book-chapter","created":{"date-parts":[[2007,7,24]],"date-time":"2007-07-24T15:16:31Z","timestamp":1185290191000},"page":"408-415","source":"Crossref","is-referenced-by-count":1,"title":["The Polynomial and Linear Hierarchies in V0"],"prefix":"10.1007","author":[{"given":"Leszek Aleksander","family":"Ko\u0142odziejczyk","sequence":"first","affiliation":[]},{"given":"Neil","family":"Thapen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"42_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(83)90038-6","volume":"24","author":"M. Ajtai","year":"1983","unstructured":"Ajtai, M.: \n                  \n                    \n                  \n                  $\\Sigma^1_1$\n                 formulae on finite structures. Annals of Pure. and Applied Logic\u00a024, 1\u201348 (1983)","journal-title":"Annals of Pure and Applied Logic"},{"key":"42_CR2","unstructured":"Cook, S., Nguyen, P.: Foundations of proof complexity: Bounded arithmetic and propositional translations, (2006), book in preparation, available online at \n                  \n                    http:\/\/www.cs.toronto.edu\/~sacook\/\n                  \n                  \n                ."},{"key":"42_CR3","volume-title":"Computational limitations for small depth circuits","author":"J.T. H\u00e5stad","year":"1987","unstructured":"H\u00e5stad, J.T.: Computational limitations for small depth circuits. MIT Press, Cambridge (1987)"},{"key":"42_CR4","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1137\/0216051","volume":"16","author":"N. Immerman","year":"1987","unstructured":"Immerman, N.: Languages that capture complexity classes. SIAM Journal on Computing\u00a016, 760\u2013778 (1987)","journal-title":"SIAM Journal on Computing"},{"key":"42_CR5","unstructured":"Ko\u0142odziejczyk, L.A., Thapen, N.: The polynomial and linear hierarchies in models where the weak pigeonhole principle fails, preprint (2006)"},{"key":"42_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511529948","volume-title":"Bounded arithmetic, propositional logic, and complexity theory","author":"J. Kraj\u00ed\u010dek","year":"1995","unstructured":"Kraj\u00ed\u010dek, J.: Bounded arithmetic, propositional logic, and complexity theory. Cambridge University Press, Cambridge (1995)"},{"issue":"2","key":"42_CR7","first-page":"127","volume":"15","author":"J.F. Lynch","year":"1982","unstructured":"Lynch, J.F.: Complexity classes and theories of finite models. Mathematical Systems Theory\u00a015(2), 127\u2013144 (1982)","journal-title":"Mathematical Systems Theory"},{"key":"42_CR8","doi-asserted-by":"publisher","first-page":"942","DOI":"10.2307\/2275794","volume":"61","author":"D. Zambella","year":"1996","unstructured":"Zambella, D.: Notes on polynomially bounded arithmetic. Journal of Symbolic Logic\u00a061, 942\u2013966 (1996)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Computation and Logic in the Real World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73001-9_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T10:26:23Z","timestamp":1550485583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73001-9_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730002","9783540730019"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73001-9_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}