{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:14Z","timestamp":1750306694489,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,14]],"date-time":"2014-07-14T00:00:00Z","timestamp":1405296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,14]]},"DOI":"10.1145\/2603088.2603148","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T13:21:45Z","timestamp":1406553705000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["On Hanf-equivalence and the number of embeddings of small induced subgraphs"],"prefix":"10.1145","author":[{"given":"Stephan","family":"Kreutzer","sequence":"first","affiliation":[{"name":"Technical University Berlin"}]},{"given":"Nicole","family":"Schweikardt","sequence":"additional","affiliation":[{"name":"Goethe-University Frankfurt am Main"}]}],"member":"320","published-online":{"date-parts":[[2014,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1447","volume-title":"Handbook of Combinatorics --","author":"Babai L.","year":"1995","unstructured":"L. Babai . Automorphism groups, isomorphism, reconstruction (chapter 27) . In R. Graham, M. Gr\u00f6tschel, and L. Lov\u00e1sz, editors, Handbook of Combinatorics -- Volume 2 , pages 1447 -- 1540 . Elsevier , 1995 . L. Babai. Automorphism groups, isomorphism, reconstruction (chapter 27). In R. Graham, M. Gr\u00f6tschel, and L. Lov\u00e1sz, editors, Handbook of Combinatorics -- Volume 2, pages 1447--1540. Elsevier, 1995."},{"key":"e_1_3_2_1_2_1","volume-title":"Digraphs -- Theory, Algorithms and Applications","author":"Bang-Jensen J.","year":"2010","unstructured":"J. Bang-Jensen and G. Z. Gutin . Digraphs -- Theory, Algorithms and Applications . Springer , 2 nd edition, 2010 . J. Bang-Jensen and G. Z. Gutin. Digraphs -- Theory, Algorithms and Applications. Springer, 2nd edition, 2010.","edition":"2"},{"key":"e_1_3_2_1_3_1","volume-title":"North-Holland","author":"Berge C.","year":"1973","unstructured":"C. Berge . Graphs and Hypergraphs . North-Holland , 1973 . C. Berge. Graphs and Hypergraphs. North-Holland, 1973."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972700002872"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14279-6","volume-title":"Graph Theory","author":"Diestel R.","year":"2010","unstructured":"R. Diestel . Graph Theory . Springer , 4 th edition, 2010 . R. Diestel. Graph Theory. Springer, 4th edition, 2010.","edition":"4"},{"key":"e_1_3_2_1_6_1","volume-title":"Finite Model Theory","author":"Ebbinghaus H.-D.","year":"1999","unstructured":"H.-D. Ebbinghaus and J. Flum . Finite Model Theory . Springer , 1999 . H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1999."},{"key":"e_1_3_2_1_7_1","first-page":"264","article-title":"Graphs with prescribed degrees of vertices","volume":"11","author":"Erd\u0151s P.","year":"1960","unstructured":"P. Erd\u0151s and T. Gallai . Graphs with prescribed degrees of vertices . Mat. Lapok , 11 : 264 -- 274 , 1960 . P. Erd\u0151s and T. Gallai. Graphs with prescribed degrees of vertices. Mat. Lapok, 11:264--274, 1960.","journal-title":"Mat. Lapok"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018672019177"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11786986_2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1137\/0110037"},{"key":"e_1_3_2_1_11_1","first-page":"132","volume-title":"The Theory of Models","author":"Hanf W.","year":"1965","unstructured":"W. Hanf . Model-theoretic methods in the study of elementary logic. In J. Addison, L. Henkin, and A. Tarski, editors , The Theory of Models , pages 132 -- 145 . North-Holland , 1965 . W. Hanf. Model-theoretic methods in the study of elementary logic. In J. Addison, L. Henkin, and A. Tarski, editors, The Theory of Models, pages 132--145. North-Holland, 1965."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.21136\/CPM.1955.108220"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.2307\/2586810"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/502090.502100"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"N. Immerman. Descriptive Complexity. Springer 1998.  N. Immerman. Descriptive Complexity . Springer 1998.","DOI":"10.1007\/978-1-4612-0539-5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343376"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/371282.371388"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1024196"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1957-044-3"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500070079"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.disc.2009.09.023"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/net.3230030303"},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0089374","volume-title":"On construction and identification of graphs","author":"Weisfeiler B.","year":"1976","unstructured":"B. Weisfeiler , editor. On construction and identification of graphs , volume 558 of Lecture Notes in Mathematics . Springer , 1976 . B. Weisfeiler, editor. On construction and identification of graphs, volume 558 of Lecture Notes in Mathematics. Springer, 1976."},{"key":"e_1_3_2_1_24_1","first-page":"12","article-title":"A reduction of a graph to a canonical form and an algebra arising during this reduction. Nauchno-Technicheskaya Informatsia","volume":"2","author":"Weisfeiler B.","year":"1968","unstructured":"B. Weisfeiler and A. A. Lehman . A reduction of a graph to a canonical form and an algebra arising during this reduction. Nauchno-Technicheskaya Informatsia , Seriya 2 , 9: 12 -- 16 , 1968 . (In Russian). B. Weisfeiler and A. A. Lehman. A reduction of a graph to a canonical form and an algebra arising during this reduction. Nauchno-Technicheskaya Informatsia, Seriya 2, 9:12--16, 1968. (In Russian).","journal-title":"Seriya"}],"event":{"name":"CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Vienna Austria","acronym":"CSL-LICS '14"},"container-title":["Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603148","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2603088.2603148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:41Z","timestamp":1750230101000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,14]]},"references-count":24,"alternative-id":["10.1145\/2603088.2603148","10.1145\/2603088"],"URL":"https:\/\/doi.org\/10.1145\/2603088.2603148","relation":{},"subject":[],"published":{"date-parts":[[2014,7,14]]},"assertion":[{"value":"2014-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}