Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleNominal Monoids.AuthorsBojańczyk, MikołajAbstractWe 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.SubjectsMONOIDS; NOMINAL measurement; PROGRAMMING languages; DATA analysis; APERIODICITY; CHAOS theory; FIRST-order logicPublicationTheory of Computing Systems, 2013, Vol 53, Issue 2, p194ISSN1432-4350Publication typeArticleDOI10.1007/s00224-013-9464-1