{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:12:34Z","timestamp":1725862354857},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662529201"},{"type":"electronic","value":"9783662529218"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-52921-8_12","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T15:22:30Z","timestamp":1470410550000},"page":"183-199","source":"Crossref","is-referenced-by-count":1,"title":["Descriptive Complexity of Graph Spectra"],"prefix":"10.1007","author":[{"given":"Anuj","family":"Dawar","sequence":"first","affiliation":[]},{"given":"Simone","family":"Severini","sequence":"additional","affiliation":[]},{"given":"Octavio","family":"Zapata","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"issue":"6","key":"12_CR1","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1016\/j.jctb.2010.07.001","volume":"100","author":"A Alzaga","year":"2010","unstructured":"Alzaga, A., Iglesias, R., Pignol, R.: Spectra of symmetric powers of graphs and the Weisfeiler-Lehman refinements. J. Comb. Theory Ser. B 100(6), 671\u2013682 (2010)","journal-title":"J. Comb. Theory Ser. B"},{"issue":"22","key":"12_CR2","doi-asserted-by":"crossref","first-page":"2954","DOI":"10.1016\/j.disc.2006.03.073","volume":"306","author":"W Ananchuen","year":"2006","unstructured":"Ananchuen, W., Caccetta, L.: Cubic and quadruple paley graphs with the $$n$$ -e. c. property. Discrete Math. 306(22), 2954\u20132961 (2006)","journal-title":"Discrete Math."},{"issue":"3","key":"12_CR3","doi-asserted-by":"crossref","first-page":"628","DOI":"10.1137\/0209047","volume":"9","author":"L Babai","year":"1980","unstructured":"Babai, L., Erd\u0151s, P., Selkow, S.M.: Random graph isomorphism. SIAM J. Comput. 9(3), 628\u2013635 (1980)","journal-title":"SIAM J. Comput."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Babai, L., Ku\u010dera, L.: Canonical labelling of graphs in linear average time. In: 20th Annual Symposium on Foundations of Computer Science, 1979, pp. 39\u201346. IEEE (1979)","DOI":"10.1109\/SFCS.1979.8"},{"issue":"1","key":"12_CR5","doi-asserted-by":"crossref","first-page":"R120","DOI":"10.37236\/209","volume":"16","author":"AR Barghi","year":"2009","unstructured":"Barghi, A.R., Ponomarenko, I.: Non-isomorphic graphs with cospectral symmetric powers. Electron. J. Comb. 16(1), R120 (2009)","journal-title":"Electron. J. Comb."},{"issue":"4","key":"12_CR6","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1002\/jgt.3190050414","volume":"5","author":"A Blass","year":"1981","unstructured":"Blass, A., Exoo, G., Harary, F.: Paley graphs satisfy all first-order adjacency axioms. J. Graph Theory 5(4), 435\u2013439 (1981)","journal-title":"J. Graph Theory"},{"key":"12_CR7","unstructured":"Brouwer, A.E., Van Lint, J.H.: Strongly regular graphs and partial geometries. In: Enumeration and Design (Waterloo, Ont., 1982), pp. 85\u2013122 (1984)"},{"issue":"4","key":"12_CR8","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/BF01305232","volume":"12","author":"J Cai","year":"1992","unstructured":"Cai, J., 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":"12_CR9","volume-title":"Finite Model Theory","author":"HB Ebbinghaus","year":"1999","unstructured":"Ebbinghaus, H.B., Flum, J.: Finite Model Theory, 2nd edn. Springer, Heidelberg (1999)","edition":"2"},{"key":"12_CR10","unstructured":"Elsawy, A.N.: Paley graphs and their generalizations (2012). arXiv preprint. arXiv:1203.1818"},{"issue":"01","key":"12_CR11","doi-asserted-by":"crossref","first-page":"50","DOI":"10.2307\/2272945","volume":"41","author":"R Fagin","year":"1976","unstructured":"Fagin, R.: Probabilities on finite models. J. Symbolic Logic 41(01), 50\u201358 (1976)","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"12_CR12","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0166-218X(89)90047-4","volume":"25","author":"S Friedland","year":"1989","unstructured":"Friedland, S.: Coherent algebras and the graph isomorphism problem. Discrete Appl. Math. 25(1), 73\u201398 (1989)","journal-title":"Discrete Appl. Math."},{"key":"12_CR13","volume-title":"Algebraic Graph Theory","author":"C Godsil","year":"2013","unstructured":"Godsil, C., Royle, G.F.: Algebraic Graph Theory, vol. 207. Springer, New York (2013)"},{"issue":"3","key":"12_CR14","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0168-0072(97)00008-0","volume":"87","author":"L Hella","year":"1997","unstructured":"Hella, L., Kolaitis, P.G., Luosto, K.: How to define a linear order on finite models. Ann. Pure Appl. Logic 87(3), 241\u2013267 (1997)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"12_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00147398","volume":"4","author":"DG Higman","year":"1975","unstructured":"Higman, D.G.: Coherent configurations. Geom. Dedicata 4(1), 1\u201332 (1975)","journal-title":"Geom. Dedicata"},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-1-4612-4478-3_5","volume-title":"Complexity Theory Retrospective","author":"N Immerman","year":"1990","unstructured":"Immerman, N., Lander, E.: Describing graphs: a first-order approach to graph canonization. In: Selman, A.L. (ed.) Complexity Theory Retrospective, pp. 59\u201381. Springer, New York (1990)"},{"issue":"2","key":"12_CR17","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1016\/0890-5401(92)90021-7","volume":"98","author":"PG Kolaitis","year":"1992","unstructured":"Kolaitis, P.G., Vardi, M.Y.: Infinitary logics and 0\u20131 laws. Inf. Comput. 98(2), 258\u2013294 (1992)","journal-title":"Inf. Comput."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Ku\u010dera, L.: Canonical labeling of regular graphs in linear average time. In: 28th Annual Symposium on Foundations of Computer Science, pp. 271\u2013279. IEEE (1987)","DOI":"10.1109\/SFCS.1987.11"},{"issue":"9","key":"12_CR19","first-page":"12","volume":"2","author":"AA Leman","year":"1968","unstructured":"Leman, A.A., Weisfeiler, B.: A reduction of a graph to a canonical form and an algebra arising during this reduction. Nauchno-Technicheskaya Informatsiya 2(9), 12\u201316 (1968)","journal-title":"Nauchno-Technicheskaya Informatsiya"},{"key":"12_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements of Finite Model Theory","author":"L Libkin","year":"2004","unstructured":"Libkin, L.: Elements of Finite Model Theory. Springer, Heidelberg (2004)"},{"key":"12_CR21","unstructured":"Schwenk, A.J.: Almost all trees are cospectral. In: New Directions in the Theory of Graphs, pp. 275\u2013307 (1973)"},{"key":"12_CR22","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0024-3795(03)00483-X","volume":"373","author":"ER Dam Van","year":"2003","unstructured":"Van Dam, E.R., Haemers, W.H.: Which graphs are determined by their spectrum? Linear Algebra Appl. 373, 241\u2013272 (2003)","journal-title":"Linear Algebra Appl."}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-52921-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T21:36:19Z","timestamp":1600983379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-52921-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662529201","9783662529218"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-52921-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}