{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:58Z","timestamp":1725490258543},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749141"},{"type":"electronic","value":"9783540749158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74915-8_29","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T05:13:35Z","timestamp":1187932415000},"page":"374-388","source":"Crossref","is-referenced-by-count":4,"title":["Relativizing Small Complexity Classes and Their Theories"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Aehlig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Cook","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phuong","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"Aehlig, K., Cook, S., Nguyen, P.:Relativizing Small Complexity Classes and their Theories (2007), \n                    \n                      http:\/\/www.cs.toronto.edu\/~pnguyen\/studies.html"},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/0022-0000(90)90022-D","volume":"41","author":"D.A. Mix Barrington","year":"1990","unstructured":"Mix Barrington, D.A., Immerman, N., Straubing, H.: On Uniformity within NC\n                  1. Journal of Computer and System Sciences\u00a041, 274\u2013306 (1990)","journal-title":"Journal of Computer and System Sciences"},{"key":"29_CR3","volume-title":"Proceedings, Structure in Complexity Theory Conference","author":"J. Buss","year":"1986","unstructured":"Buss, J.: Relativized Alternation. In: Proceedings, Structure in Complexity Theory Conference, Springer, Heidelberg (1986)"},{"key":"29_CR4","unstructured":"Cook, S., Nguyen, P.: Foundations of Proof Complexity: Bounded Arithmetic and Propositional Translations, 2006 (Book in progress)"},{"issue":"1-3","key":"29_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/S0019-9958(85)80041-3","volume":"64","author":"S. Cook","year":"1985","unstructured":"Cook, S.: A Taxonomy of Problems with Fast Parallel Algorithms. Information and Control\u00a064(1-3), 2\u201321 (1985)","journal-title":"Information and Control"},{"key":"29_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0539-5","volume-title":"Descriptive Complexity","author":"N. Immerman","year":"1999","unstructured":"Immerman, N.: Descriptive Complexity. Springer, Heidelberg (1999)"},{"key":"29_CR7","doi-asserted-by":"crossref","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)"},{"key":"29_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF01683260","volume":"10","author":"R. Ladner","year":"1976","unstructured":"Ladner, R., Lynch, N.: Relativization of questions about log space computability. Mathematical Systems Theory\u00a010, 19\u201332 (1976)","journal-title":"Mathematical Systems Theory"},{"key":"29_CR9","first-page":"1","volume":"2","author":"P. Nguyen","year":"2005","unstructured":"Nguyen, P., Cook, S.: Theory for TC\n                  0 and Other Small Complexity Classes. Logical Methods in Computer Science\u00a02, 1 (2005)","journal-title":"Logical Methods in Computer Science"},{"key":"29_CR10","unstructured":"Orponen, P.: General Nonrelativizability Results for Parallel Models of Computation. In: Proceedings, Winter School in Theoretical Computer Science, pp. 194\u2013205 (1983)"},{"issue":"2","key":"29_CR11","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/0022-0000(84)90066-7","volume":"28","author":"W. Ruzzo","year":"1984","unstructured":"Ruzzo, W., Simon, J., Tompa, M.: Space-Bounded Hierarchies and Probabilistic Computations. Journal of Computer and System Sciences\u00a028(2), 216\u2013230 (1984)","journal-title":"Journal of Computer and System Sciences"},{"key":"29_CR12","unstructured":"Simon, I.: On some subrecursive reducibilities. PhD thesis, Stanford University (1977)"},{"key":"29_CR13","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0168-0072(94)00008-Q","volume":"71","author":"G. Takeuti","year":"1995","unstructured":"Takeuti, G.: Separations of Theories in Weak Bounded Arithmetic. Annals of Pure and Applied Logic\u00a071, 47\u201367 (1995)","journal-title":"Annals of Pure and Applied Logic"},{"key":"29_CR14","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/0022-0000(88)90031-1","volume":"36","author":"C. Wilson","year":"1988","unstructured":"Wilson, C.: A Measure of Relativized Space Which Is Faithful with Respect to Depth. Journal of Computer and System Sciences\u00a036, 303\u2013312 (1988)","journal-title":"Journal of Computer and System Sciences"},{"key":"29_CR15","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF01692056","volume":"20","author":"C. Wilson","year":"1989","unstructured":"Wilson, C.: Relativized NC. Mathematical Systems Theory\u00a020, 13\u201329 (1989)","journal-title":"Mathematical Systems Theory"},{"issue":"3","key":"29_CR16","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(3), 942\u2013966 (1996)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74915-8_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:45:51Z","timestamp":1619520351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74915-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749141","9783540749158"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74915-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}