{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:24Z","timestamp":1725663684497},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577850"},{"type":"electronic","value":"9783540483328"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57785-8_161","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:20:00Z","timestamp":1330262400000},"page":"439-448","source":"Crossref","is-referenced-by-count":9,"title":["Two refinements of the polynomial hierarchy"],"prefix":"10.1007","author":[{"given":"V. L.","family":"Selivanov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0020-0190(86)90078-5","volume":"23","author":"K. Ambos-Spies","year":"1986","unstructured":"K.Ambos-Spies: A note on complete problems for complexity classes. Information Processing Letters, 23, 227\u2013230(1986)","journal-title":"Information Processing Letters"},{"key":"35_CR2","volume-title":"EATCS Monographs on Theoretical Computer Science, v.11","author":"J.L. Balc\u00e1zar","year":"1988","unstructured":"J.L.Balc\u00e1zar, J.D\u00edaz, and Gabarr\u00f3: Structural Complexity I, EATCS Monographs on Theoretical Computer Science, v.11. Berlin: Springer 1988"},{"key":"35_CR3","volume-title":"EATCS Monographs on Theoretical Computer Science, v.22","author":"J.L. Balc\u00e1zar","year":"1990","unstructured":"J.L.Balc\u00e1zar, J.D\u00edaz, and Gabarr\u00f3: Structural Complexity II, EATCS Monographs on Theoretical Computer Science, v.22. Berlin: Springer 1990"},{"key":"35_CR4","series-title":"Lecture Notes in Computer Science 171","first-page":"24","volume-title":"Logic and Machines: Decision Problems and Complexity","author":"A. Blass","year":"1986","unstructured":"A.Blass and Y.Gurevich: Equivalence relations, invariants, and normal forms. In: Logic and Machines: Decision Problems and Complexity. Lecture Notes in Computer Science 171. Berlin: Springer 1986, pp. 24\u201342"},{"key":"35_CR5","unstructured":"R.Chang: On the structure of NP-computations under Boolean operators. Ph.D Thesis, Cornell University 1991"},{"key":"35_CR6","volume-title":"Set Theory","author":"K. Kuratowski","year":"1967","unstructured":"K.Kuratowski and A.Mostowski: Set Theory. Amsterdam: North Holland 1967"},{"key":"35_CR7","first-page":"165","volume":"12","author":"V.L. Selivanov","year":"1989","unstructured":"V.L.Selivanov: Fine hierarchies of arithmetical sets and definable index sets. Trans. Inst. Math., Novosibirsk 12, 165\u2013185(1989) (in Russian)","journal-title":"Trans. Inst. Math., Novosibirsk"},{"key":"35_CR8","first-page":"705","volume":"30","author":"V.L. Selivanov","year":"1991","unstructured":"V.L.Selivanov: Fine hierarchies and definable index sets. Algebra and logic 30, 705\u2013725 (1991) (in Russian, there is an English translation)","journal-title":"Algebra and logic"},{"key":"35_CR9","first-page":"485","volume-title":"Lecture Notes in Computer Science 199","author":"K. Wagner","year":"1985","unstructured":"K.Wagner and G.Wechsung: On the Boolean closure of NP. In: Proceedings of the 1985 Int. Conf. on Fundamentals of Computation theory. Lecture Notes in Computer Science 199. Berlin: Springer 1985, pp. 485\u2013493"},{"key":"35_CR10","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0304-3975(83)90020-8","volume":"26","author":"C. Yap","year":"1983","unstructured":"C.Yap: Some consequences of non-uniform conditions on uniform classes. Theoretical Computer Science 26, 287\u2013300(1983)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","STACS 94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_161.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:08:03Z","timestamp":1619572083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_161"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_161","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}