{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:24:17Z","timestamp":1759638257222,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"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:\/\/linproxy.fan.workers.dev:443\/https\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union from the Regional Development Fund"},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,14]]},"DOI":"10.1145\/2603088.2603101","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T13:21:45Z","timestamp":1406553705000},"page":"1-27","update-policy":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Weak MSO"],"prefix":"10.1145","author":[{"given":"Facundo","family":"Carreiro","sequence":"first","affiliation":[{"name":"U. Amsterdam"}]},{"given":"Alessandro","family":"Facchini","sequence":"additional","affiliation":[{"name":"U. Warsaw"}]},{"given":"Yde","family":"Venema","sequence":"additional","affiliation":[{"name":"U. Amsterdam"}]},{"given":"Fabio","family":"Zanasi","sequence":"additional","affiliation":[{"name":"ENS Lyon, U. Lyon, CNRS, INRIA, UCBL"}]}],"member":"320","published-online":{"date-parts":[[2014,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Studies in Logic and the Found","volume-title":"Rudiments of μ-calculus","author":"Arnold A.","year":"2001","unstructured":"A. Arnold and D. Niwi\u0144ski . Rudiments of μ-calculus , volume 146 of Studies in Logic and the Found . of Mathematics. North-Holland , 2001 . A. Arnold and D. Niwi\u0144ski. Rudiments of μ-calculus, volume 146 of Studies in Logic and the Found. of Mathematics. North-Holland, 2001."},{"key":"e_1_3_2_1_2_1","volume-title":"Weak MSO: Automata and expressiveness modulo bisimilarity. Technical report","author":"Carreiro F.","year":"2014","unstructured":"F. Carreiro , A. Facchini , Y. Venema , and F. Zanasi . Weak MSO: Automata and expressiveness modulo bisimilarity. Technical report , 2014 . URL https:\/\/linproxy.fan.workers.dev:443\/http\/arxiv.org\/abs\/1401.4374. F. Carreiro, A. Facchini, Y. Venema, and F. Zanasi. Weak MSO: Automata and expressiveness modulo bisimilarity. Technical report, 2014. URL https:\/\/linproxy.fan.workers.dev:443\/http\/arxiv.org\/abs\/1401.4374."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.04.002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1991.185392"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.54"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87531-4_12"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36387-4","volume-title":"Automata, Logics, and Infinite Games: A Guide to Current Research","author":"Gr\u00e4del E.","year":"2002","unstructured":"E. Gr\u00e4del , W. Thomas , and T. Wilke , editors . Automata, Logics, and Infinite Games: A Guide to Current Research , volume 2500 of LNCS , 2002 . Springer . ISBN 3-540-00388-6. E. Gr\u00e4del, W. Thomas, and T. Wilke, editors. Automata, Logics, and Infinite Games: A Guide to Current Research, volume 2500 of LNCS, 2002. Springer. ISBN 3-540-00388-6."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646731.703838"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1812941.1812950"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90133-2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90076-R"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008275906015"},{"key":"e_1_3_2_1_13_1","first-page":"290","volume-title":"MFCS","author":"B.","year":"2011","unstructured":"B. ten Cate and A. Facchini. Characterizing EF over infinite trees and modal logic on transitive graphs . In MFCS , pages 290 -- 302 , 2011 . B. ten Cate and A. Facchini. Characterizing EF over infinite trees and modal logic on transitive graphs. In MFCS, pages 290--302, 2011."},{"key":"e_1_3_2_1_14_1","first-page":"117","volume-title":"Set theory and hierarchy theory","author":"V\u00e4\u00e4n\u00e4nen J.","year":"1977","unstructured":"J. V\u00e4\u00e4n\u00e4nen . Remarks on generalized quantifiers and second-order logics . In Set theory and hierarchy theory , pages 117 -- 123 . Prace Naukowe Instytutu Matematyki Politechniki Wroclawskiej , Wroclaw , 1977 . J. V\u00e4\u00e4n\u00e4nen. Remarks on generalized quantifiers and second-order logics. In Set theory and hierarchy theory, pages 117--123. Prace Naukowe Instytutu Matematyki Politechniki Wroclawskiej, Wroclaw, 1977."},{"key":"e_1_3_2_1_16_1","volume-title":"Expressiveness modulo bisimilarity: a coalgebraic perspective. To appear in: A","author":"Venema Y.","year":"2014","unstructured":"Y. Venema . Expressiveness modulo bisimilarity: a coalgebraic perspective. To appear in: A . Baltag and S. Smets (eds.), Johan van Benthem, Outstanding Contributions Series, Springer , 2014 . Y. Venema. Expressiveness modulo bisimilarity: a coalgebraic perspective. To appear in: A. Baltag and S. Smets (eds.), Johan van Benthem, Outstanding Contributions Series, Springer, 2014."},{"key":"e_1_3_2_1_17_1","volume-title":"ILLC","author":"Venema Y.","year":"2012","unstructured":"Y. Venema . Lectures on the modal μ-calculus. Lecture Notes , ILLC , University of Amsterdam , October 2012 . Y. Venema. Lectures on the modal μ-calculus. Lecture Notes, ILLC, University of Amsterdam, October 2012."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/646511.695172"},{"key":"e_1_3_2_1_19_1","volume-title":"ILLC, Universiteit van Amsterdam, the Netherlands","author":"Zanasi F.","year":"2012","unstructured":"F. Zanasi . Expressiveness of monadic second order logics on infinite trees of arbitrary branching degree. Master's thesis , ILLC, Universiteit van Amsterdam, the Netherlands , 2012 . F. Zanasi. Expressiveness of monadic second order logics on infinite trees of arbitrary branching degree. Master's thesis, ILLC, Universiteit van Amsterdam, the Netherlands, 2012."}],"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:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/2603088.2603101","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/2603088.2603101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:34Z","timestamp":1750278154000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/2603088.2603101"}},"subtitle":["automata and expressiveness modulo bisimilarity"],"short-title":[],"issued":{"date-parts":[[2014,7,14]]},"references-count":18,"alternative-id":["10.1145\/2603088.2603101","10.1145\/2603088"],"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1145\/2603088.2603101","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"}}]}}