Nominal monoids

DOI10.1007/S00224-013-9464-1MaRDI QIDQ372971zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Mikołaj Bojańczyk

Publication date 21 October 2013

Published in Theory of Computing Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00224-013-9464-1

zbMATH Keywords

first-order definabilitynominal setsaperiodic monoidsdata wordsorbit-finite monoidssyntactic monoids

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Theory of data (68P99)

Recommendations

• Data monoids
• Logics with rigidly guarded data tests
• On the use of guards for logics with data
• Logical theory of the monoid of languages over a non tally alphabet
• First-order definable languages

Cites work

• scientific article; zbMATH DE number 52907 (Why is no real title available?)
• scientific article; zbMATH DE number 618821 (Why is no real title available?)
• A new approach to abstract syntax with variable binding
• An algebraic approach to data languages and timed languages
• An algebraic characterization of deterministic regular languages over infinite alphabets.
• Automata and Logics for Words and Trees over an Infinite Alphabet
• Automata vs. Logics on Data Words
• Data monoids
• Finite-memory automata
• Towards nominal computation

Cited in

(11)

• Toward model theory with data values
• Logical theory of the monoid of languages over a non tally alphabet
• Recognisable languages over monads
• scientific article; zbMATH DE number 7561623 (Why is no real title available?)
• Logics with rigidly guarded data tests
• scientific article; zbMATH DE number 7649885 (Why is no real title available?)
• Simple and subdirectly irreducible finitely supported \(Cb\)-sets
• scientific article; zbMATH DE number 7561600 (Why is no real title available?)
• Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets
• On the use of guards for logics with data
• Data monoids

This page was built for publication: Nominal monoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q372971)