{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:37:14Z","timestamp":1759639034374,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005140","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T20:43:24Z","timestamp":1502397804000},"page":"1-12","source":"Crossref","is-referenced-by-count":8,"title":["Quantifiers on languages and codensity monads"],"prefix":"10.1109","author":[{"given":"Mai","family":"Gehrke","sequence":"first","affiliation":[]},{"given":"Daniela","family":"Petrisan","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Reggio","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(96)00083-7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49630-5_31"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(71)90001-6"},{"key":"ref13","first-page":"332","article-title":"Codensity and the ultrafilter monad","author":"leinster","year":"2013","journal-title":"Theory and Applications of Categories"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005140"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2307\/1989664"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1951-0042109-4"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4721-8","author":"mac lane","year":"1978","journal-title":"Categories for the Working Mathematician"},{"key":"ref18","article-title":"Profinite monads, profinite equations and Reiterman's theorem","volume":"abs 1511 2147","author":"chen","year":"2015","journal-title":"CoRR"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(72)90019-9"},{"key":"ref4","first-page":"28","article-title":"Stone duality for languages and complexity","volume":"4","author":"gehrke","year":"2017","journal-title":"SIGLOG news"},{"key":"ref3","first-page":"613","article-title":"Modular quantifiers","volume":"2","author":"straubing","year":"2008","journal-title":"Logic and Automata ser Texts in Logic and Games"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14162-1_13"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF02679444"},{"key":"ref8","first-page":"1","article-title":"Recognisable languages over monads","volume":"9168","author":"boja?czyk","year":"2015","journal-title":"DLT Ser LNCS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_21"},{"key":"ref2","first-page":"112:1","article-title":"The Schützenberger product for syntactic spaces","volume":"55","author":"gehrke","year":"2016","journal-title":"ICALP ser LIPIcs"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(1:4)2007"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.46"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF01220868"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195218"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0036488"},{"key":"ref23","first-page":"89","article-title":"Schützenberger products in a category","volume":"9840","author":"chen","year":"2016","journal-title":"DLT Ser LNCS"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2017,6,20]]},"location":"Reykjavik, Iceland","end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005140.pdf?arnumber=8005140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T07:39:03Z","timestamp":1570001943000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005140\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005140","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}