2026-07-17T11:06:28Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3003 2024-03-06T10:33:42Z ddc:004 open_access

Data Monoids Bojanczyk, Mikolaj Monoid Data Words Nominal Set First-Order Logic We develop an algebraic theory for languages of data words. We prove that, under certain conditions, a language of data words is definable in first-order logic if and only if its syntactic monoid is aperiodic. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Mikolaj Bojanczyk 2011 Is Part Of LIPIcs, Volume 9, 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.STACS.2011.105 urn:nbn:de:0030-drops-30030 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2011.105 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode