From equational specifications of algebras with structure to varieties of data languages (invited paper)

DOI10.4230/LIPICS.CALCO.2019.2MaRDI QIDQ5875342zbMATH OpenFDO

Authors Stefan Milius

Publication date 3 February 2023

zbMATH Keywords

Birkhoff theoremdata languagesequational logicEilenberg theorem

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Equational axiomatization of algebras with structure
• scientific article; zbMATH DE number 7561623
• Eilenberg Theorems for Free
• Varieties of Languages in a Category
• Nominal Algebra and the HSP Theorem

Cites work

• scientific article; zbMATH DE number 2086254 (Why is no real title available?)
• scientific article; zbMATH DE number 1189233 (Why is no real title available?)
• scientific article; zbMATH DE number 1189235 (Why is no real title available?)
• scientific article; zbMATH DE number 176766 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 1848285 (Why is no real title available?)
• scientific article; zbMATH DE number 7297850 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• Automata and Logics for Words and Trees over an Infinite Alphabet
• Automata for XML -- a survey
• Automata theory in nominal sets
• Developments in Language Theory
• Duality and Equational Theory of Regular Languages
• Eilenberg Theorems for Free
• Equational axiomatization of algebras with structure
• Finite-memory automata
• Generalized Eilenberg theorem. Varieties of languages in a category
• Logics with rigidly guarded data tests
• Nominal Algebra and the HSP Theorem
• Nominal monoids
• Nominal sets. Names and symmetry in computer science
• On finite monoids having only trivial subgroups
• On pseudovarieties
• On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
• On the logic of continuous algebras
• On universal algebra over nominal sets
• Quantitative Algebraic Reasoning
• Recognisable languages over monads
• Series formelles et algèbres syntactiques
• The Birkhoff theorem for finite algebras
• The Birkhoff variety theorem for continuous algebras
• Tree algebras and varieties of tree languages
• Varieties of Cost Functions
• Varieties of ordered algebras

Cited in

(2)

• Symmetric transrationals: the data type and the algorithmic degree of its equational theory
• Equational axiomatization of algebras with structure

This page was built for publication: From equational specifications of algebras with structure to varieties of data languages (invited paper)

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