From equational specifications of algebras with structure to varieties of data languages (invited paper)
From MaRDI portal
Publication:5875342
DOI10.4230/LIPICS.CALCO.2019.2MaRDI QIDQ5875342FDOQ5875342
Authors: Stefan Milius 
Publication date: 3 February 2023
Recommendations
Cites Work
- Varieties of ordered algebras
- Nominal sets. Names and symmetry in computer science
- Duality and Equational Theory of Regular Languages
- Title not available (Why is that?)
- Automata and Logics for Words and Trees over an Infinite Alphabet
- Automata for XML -- a survey
- On pseudovarieties
- On finite monoids having only trivial subgroups
- Series formelles et algèbres syntactiques
- Title not available (Why is that?)
- Finite-memory automata
- Nominal monoids
- Title not available (Why is that?)
- On universal algebra over nominal sets
- Nominal Algebra and the HSP Theorem
- Title not available (Why is that?)
- Developments in Language Theory
- The Birkhoff theorem for finite algebras
- Title not available (Why is that?)
- On the logic of continuous algebras
- Automata theory in nominal sets
- Title not available (Why is that?)
- Tree algebras and varieties of tree languages
- On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
- Title not available (Why is that?)
- The Birkhoff variety theorem for continuous algebras
- Equational axiomatization of algebras with structure
- Varieties of Cost Functions
- Title not available (Why is that?)
- Recognisable languages over monads
- Quantitative Algebraic Reasoning
- Logics with rigidly guarded data tests
- Generalized Eilenberg theorem. Varieties of languages in a category
- Eilenberg Theorems for Free
Cited In (1)
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)
