{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:08:24Z","timestamp":1725574104993},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212584"},{"type":"electronic","value":"9783540246985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24698-5_57","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T22:28:22Z","timestamp":1294439302000},"page":"540-556","source":"Crossref","is-referenced-by-count":1,"title":["Approximating the Expressive Power of Logics in Finite Models"],"prefix":"10.1007","author":[{"given":"Argimiro","family":"Arratia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos E.","family":"Ortiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"57_CR1","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/0022-0000(90)90022-D","volume":"41","author":"D. Barrington","year":"1990","unstructured":"Barrington, D., Immerman, N., Straubing, H.: On uniformity within NC1. J. Computer and Syst. Sci.\u00a041, 274\u2013306 (1990)","journal-title":"J. Computer and Syst. Sci."},{"key":"57_CR2","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/S0022-0000(74)80046-2","volume":"9","author":"S.A. Cook","year":"1974","unstructured":"Cook, S.A.: An observation on time-storage trade off. J. Comput. System Sci.\u00a09, 308\u2013316 (1974)","journal-title":"J. Comput. System Sci."},{"issue":"2","key":"57_CR3","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0304-3975(95)00034-T","volume":"148","author":"K. Etessami","year":"1995","unstructured":"Etessami, K., Immerman, N.: Reachability and the power of local ordering. Theo. Comp. Sci.\u00a0148(2), 261\u2013279 (1995)","journal-title":"Theo. Comp. Sci."},{"key":"57_CR4","unstructured":"Gurevich, Y.: Logic and the challenge of computer science. In: B\u00f6rger, E. (ed.) Current trends in theoretical computer science, pp. 1\u201357. Computer Science Press (1988)"},{"key":"57_CR5","volume-title":"Descriptive Complexity","author":"N. Immerman","year":"1998","unstructured":"Immerman, N.: Descriptive Complexity. Springer, Heidelberg (1998)"},{"key":"57_CR6","volume-title":"Logic Colloquium 76","author":"H.J. Keisler","year":"1977","unstructured":"Keisler, H.J.: Hyperfinite model theory. In: Gandy, R.C., Hyland, J.M.E. (eds.) Logic Colloquium 76. North-Holland, Amsterdam (1977)"},{"key":"57_CR7","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0304-3975(01)00152-9","volume":"288","author":"L. Libkin","year":"2002","unstructured":"Libkin, L., Wong, L.: Lower bounds for invariant queries in logics with counting. Theoretical Comp. Sci.\u00a0288, 153\u2013180 (2002)","journal-title":"Theoretical Comp. Sci."},{"issue":"4","key":"57_CR8","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1093\/logcom\/4.4.337","volume":"4","author":"I. Stewart","year":"1994","unstructured":"Stewart, I.: Logical description of monotone NP problems. J. Logic Computat.\u00a04(4), 337\u2013357 (1994)","journal-title":"J. Logic Computat."}],"container-title":["Lecture Notes in Computer Science","LATIN 2004: Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24698-5_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T14:07:27Z","timestamp":1553350047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24698-5_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212584","9783540246985"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24698-5_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}