{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:34:28Z","timestamp":1725496468236},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668565"},{"type":"electronic","value":"9783540466741"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46674-6_28","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T15:50:17Z","timestamp":1196351417000},"page":"334-346","source":"Crossref","is-referenced-by-count":0,"title":["On L k(Q) Types and Boundedness of IFP(Q) on Finite Structures"],"prefix":"10.1007","author":[{"given":"Anil","family":"Seth","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"28_CR1","unstructured":"A. Dawar. Feasible Computation through Model Theory. PhD thesis, University of Pennsylvania, Philadelphia, 1993."},{"issue":"2","key":"28_CR2","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1006\/inco.1995.1166","volume":"123","author":"A. Dawar","year":"1995","unstructured":"A. Dawar and L. Hella. The expressive power of finitely many generalized quantifiers. Information and Computation, 123(2):172\u2013184, 1995.","journal-title":"Information and Computation"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"A. Dawar, L. Hella, and A. Seth. Ordering finite variable types with generalized quantifiers. In Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998.","DOI":"10.1109\/LICS.1998.705641"},{"key":"28_CR4","volume-title":"Finite Model Theory","author":"H. Ebbinghaus","year":"1995","unstructured":"H. Ebbinghaus and J. Flum. Finite Model Theory. Perspectives in Mathematical Logic. Springer, 1995."},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Y. Gurevich, N. Immerman, and S. Shelah. Mccolm\u2019s conjectures. In Ninth Annual IEEE Symposium on Logic in Computer Science, pages 10\u201319, 1994.","DOI":"10.1109\/LICS.1994.316091"},{"key":"28_CR6","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0168-0072(86)90055-2","volume":"32","author":"Y. Gurevich","year":"1986","unstructured":"Y. Gurevich and S. Shelah. Fixed-point extensions of first-order logic. Annals of Pure and Applied Logic, 32:265\u2013280, 1986.","journal-title":"Annals of Pure and Applied Logic"},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1996.0070","volume":"129","author":"L. Hella","year":"1996","unstructured":"L. Hella. Logical hierarchies in PTIME. Information and Computation, 129:1\u201319, 1996.","journal-title":"Information and Computation"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"P. G. Kolaitis and M. Y. Vardi. Fixpoint logic vs. infinitary logic in finite model theory. In Seventh Annual IEEE Symposium on Logic in Computer Science, pages 46\u201357, 1992.","DOI":"10.1109\/LICS.1992.185518"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"P. G. Kolaitis and M. Y. Vardi. On the expressive power of variable confined logics. In Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 348\u2013359, 1996.","DOI":"10.1109\/LICS.1996.561446"},{"key":"28_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0168-0072(90)90053-5","volume":"50","author":"G. L. McColm","year":"1990","unstructured":"G. L. McColm. When is arithmetic possible? Annals of Pure and Applied Logic, 50:29\u201351, 1990.","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46674-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T08:11:22Z","timestamp":1547885482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46674-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668565","9783540466741"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-46674-6_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}