{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:27:11Z","timestamp":1725460031474},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540582770"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0049330","type":"book-chapter","created":{"date-parts":[[2006,3,6]],"date-time":"2006-03-06T18:58:16Z","timestamp":1141671496000},"page":"150-164","source":"Crossref","is-referenced-by-count":2,"title":["Bounded-arity hierarchies in fixed-point logics"],"prefix":"10.1007","author":[{"given":"Martin","family":"Grohe","sequence":"first","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"F. Afrati and S. Cosmadakis. Expressiveness of restricted recursive queries. In Proceedings of 21st ACM symposium on Theory of Computing, pages 113\u2013126, 1989.","key":"11_CR1","DOI":"10.1145\/73007.73018"},{"doi-asserted-by":"crossref","unstructured":"S. Abiteboul and V. Vianu. Procedural and declarative database update languages. In Proceedings of 7th ACM symposium on principles of database systems, pages 240\u2013250, 1988.","key":"11_CR2","DOI":"10.1145\/308386.308448"},{"doi-asserted-by":"crossref","unstructured":"A. Blass and Y. Gurevich. Existential fixed-point logic. In E. B\u00f6rger, editor, Computation Theory and Logic, volume 270 of Lecture Notes in Computer Science, pages 20\u201336. Springer-Verlag, 1987.","key":"11_CR3","DOI":"10.1007\/3-540-18170-9_151"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","volume":"25","author":"A. Chandra","year":"1982","unstructured":"A. Chandra and D. Harel. Structure and complexity of relational queries. Journal of Computer and System Sciences, 25:99\u2013128, 1982.","journal-title":"Journal of Computer and System Sciences"},{"unstructured":"A. Calo and J. Makowsky. The Ehrenfeucht-Fra\u00efss\u00e9 game for transitive closure logic, 1991. manuscript.","key":"11_CR5"},{"key":"11_CR6","first-page":"353","volume-title":"Proc. NATO Advanced Study Instute on Algorithms and Order","author":"K. Compton","year":"1988","unstructured":"K. Compton. 0-1 laws in logic and combinatorics. In I. Reidel, editor, Proc. NATO Advanced Study Instute on Algorithms and Order, pages 353\u2013383. Reidel, Dordrecht, 1988."},{"doi-asserted-by":"crossref","unstructured":"P. Dublish and S. Maheshwari. Expressibility of bounded arity fixed-point queries. In Proceedings of 8th ACM symposium on principles of database systems, pages 324\u2013335, 1989.","key":"11_CR7","DOI":"10.1145\/73721.73753"},{"unstructured":"H.D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical Logic. Springer-Verlag, 1984.","key":"11_CR8"},{"doi-asserted-by":"crossref","unstructured":"Y. Gurevich. Toward logic tailored for computational complexity. In M.M. Richter and other, editors, Computation and Proof Theory, volume 1104 of Lecture Notes in Mathematics, pages 175\u2013216. Springer-Verlag, 1984.","key":"11_CR9","DOI":"10.1007\/BFb0099486"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1137\/0216051","volume":"16","author":"N. Immerman","year":"1987","unstructured":"N. Immerman. Languages that capture complexity classes. SIAM Journal of Computing, 16:760\u2013778, 1987.","journal-title":"SIAM Journal of Computing"},{"unstructured":"G. McColm. Pebble games and the fine structure of fixedpoint logic, 1993. submitted for publication.","key":"11_CR11"},{"doi-asserted-by":"crossref","unstructured":"W. Oberschelp. Asymptotic laws in combinatorics. In Combinatorial Theory, Proc. Schloss Rauischholzhausen, volume 969 of Lecture Notes in Mathematics, pages 276\u2013292. Springer-Verlag, 1982.","key":"11_CR12","DOI":"10.1007\/BFb0063000"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0049330.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:55:42Z","timestamp":1607550942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0049330"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540582770"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0049330","relation":{},"subject":[]}}