{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T03:10:07Z","timestamp":1748747407166,"version":"3.41.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319286778"},{"type":"electronic","value":"9783319286785"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28678-5_2","type":"book-chapter","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T15:14:18Z","timestamp":1452266058000},"page":"23-29","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Symmetric and Choiceless Computation"],"prefix":"10.1007","author":[{"given":"Anuj","family":"Dawar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"key":"2_CR1","unstructured":"Anderson, M., Dawar, A.: On symmetric circuits and fixed-point logics. In: 31st International Symposium Theoretical Aspects of Computer Science (STACS 2014), pp. 41\u201352 (2014)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Anderson, M., Dawar, A., Holm, B.: Maximum matching and linear programming in fixed-point logic with counting. In: 28th Annual ACM\/IEEE Symposium Logic in Computer Science, pp. 173\u2013182 (2013)","DOI":"10.1109\/LICS.2013.23"},{"issue":"18","key":"2_CR3","doi-asserted-by":"publisher","first-page":"1666","DOI":"10.1016\/j.tcs.2008.12.049","volume":"410","author":"A Atserias","year":"2009","unstructured":"Atserias, A., Bulatov, A., Dawar, A.: Affine systems of equations and counting infinitary logic. Theor. Comput. Sci. 410(18), 1666\u20131683 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0168-0072(99)00005-6","volume":"100","author":"A Blass","year":"1999","unstructured":"Blass, A., Gurevich, Y., Shelah, S.: Choiceless polynomial time. Ann. Pure Appl. Logic 100, 141\u2013187 (1999)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"2_CR5","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/BF01305232","volume":"12","author":"J-Y Cai","year":"1992","unstructured":"Cai, J.-Y., F\u00fcrer, M., Immerman, N.: An optimal lower bound on the number of variables for graph identification. Combinatorica 12(4), 389\u2013410 (1992)","journal-title":"Combinatorica"},{"key":"2_CR6","series-title":"LNCS","volume-title":"Reduction to NP-Complete Problems by Interpretation","author":"E Dahlhaus","year":"1984","unstructured":"Dahlhaus, E.: Reduction to NP-Complete Problems by Interpretation. LNCS, vol. 171. Springer, London (1984)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1006\/inco.1998.2703","volume":"143","author":"A Dawar","year":"1998","unstructured":"Dawar, A.: A restricted second order logic for finite structures. Inf. Comput. 143, 154\u2013174 (1998)","journal-title":"Inf. Comput."},{"issue":"4","key":"2_CR8","doi-asserted-by":"crossref","first-page":"351","DOI":"10.3233\/FI-2010-232","volume":"98","author":"A Dawar","year":"2010","unstructured":"Dawar, A., Gr\u00e4del, E.: Properties of almost all graphs and generalized quantifiers. Fundamenta Informaticae 98(4), 351\u2013372 (2010)","journal-title":"Fundamenta Informaticae"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-74915-8_10","volume-title":"Computer Science Logic","author":"A Dawar","year":"2007","unstructured":"Dawar, A., Richerby, D.: The power of counting logics on restricted classes of finite structures. In: Duparc, J., Henzinger, T.A. (eds.) CSL 2007. LNCS, vol. 4646, pp. 84\u201398. Springer, Heidelberg (2007)"},{"key":"2_CR10","volume-title":"Finite Model Theory","author":"H-D Ebbinghaus","year":"1999","unstructured":"Ebbinghaus, H.-D., Flum, J.: Finite Model Theory, 2nd edn. Springer, Heidelberg (1999)","edition":"2"},{"key":"2_CR11","volume-title":"Finite Model Theory and Its Applications","author":"E Gr\u00e4del","year":"2007","unstructured":"Gr\u00e4del, E., Kolaitis, P.G., Libkin, L., Marx, M., Spencer, J., Vardi, M.Y., Venema, Y., Weinstein, S.: Finite Model Theory and Its Applications. Springer, Heidelberg (2007)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Hella, L.: Logical hierarchies in PTIME. In: Proceedings of the 7th IEEE Symposium on Logic in Computer Science, pp. 360\u2013368 (1992)","DOI":"10.1109\/LICS.1992.185548"},{"key":"2_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0539-5","volume-title":"Descriptive Complexity","author":"N Immerman","year":"1999","unstructured":"Immerman, N.: Descriptive Complexity. Springer, New York (1999)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1002\/malq.19770233608","volume":"23","author":"L Lov\u00e1sz","year":"1977","unstructured":"Lov\u00e1sz, L., G\u00e1cs, P.: Some remarks on generalized spectra. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 23, 27\u2013144 (1977)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"}],"container-title":["Lecture Notes in Computer Science","Topics in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28678-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T02:42:34Z","timestamp":1748745754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28678-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319286778","9783319286785"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28678-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}