scientific article; zbMATH DE number 7561623

DOI10.4230/LIPIcs.ICALP.2019.130MaRDI QIDQ5092332

Henning Urbat, Stefan Milius

Publication date: 21 July 2022

Full work available at URL: https://arxiv.org/abs/1903.08053

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

nominal setsdata languagesstone dualityalgebraic language theory

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Nominal monoids
• Automata for XML -- a survey
• On pseudovarieties
• Finite-memory automata
• Equational axiomatization of algebras with structure
• Nominal Sets
• Automata theory in nominal sets
• Stone Duality for Nominal Boolean Algebras with И
• Logics with rigidly guarded data tests
• Duality and Equational Theory of Regular Languages
• On universal algebra over nominal sets
• Automata and Logics for Words and Trees over an Infinite Alphabet
• Generalized Eilenberg Theorem
• Varieties of Languages in a Category
• Eilenberg Theorems for Free
• On finite monoids having only trivial subgroups
• Generalized Eilenberg Theorem I: Local Varieties of Languages

This page was built for publication: