On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
From MaRDI portal
Publication:751686
Recommendations
- On Varieties of Literally Idempotent Languages
- Varieties and covarieties of languages (extended abstract)
- On the variety of strict pseudosemilattices
- scientific article; zbMATH DE number 4031757
- scientific article; zbMATH DE number 17829
- scientific article; zbMATH DE number 4067251
- scientific article; zbMATH DE number 512864
- On syntactic congruences for \(\omega\)-languages
- A note on pure and \(p\)-pure languages
- \(M\)-solid varieties of languages
Cites work
- scientific article; zbMATH DE number 4037246 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3561239 (Why is no real title available?)
- On pseudovarieties
- Pseudovarieties, generalized varieties and similarly described classes
- Some Order Properties of the Lattice of Varieties of Commutative Semigroups
- The Birkhoff theorem for finite algebras
- The Birkhoff theorem for varieties of finite algebras
- The algebra of implicit operations
- The lattices of varieties and pseudovarieties of band monoids
Cited in
(41)- Characterizing CTL-like logics on finite trees.
- Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I
- Generalized contexts and \(n\)-ary syntactic semigroups of tree languages.
- A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups
- Towards a pseudoequational proof theory
- Varieties of recognizable tree series over fields
- Over testable languages
- Axiomatizing the equational theory of regular tree languages
- Classifying regular languages by their syntactic algebras
- scientific article; zbMATH DE number 2223008 (Why is no real title available?)
- Semidirect products of pseudovarieties from the universal algebraist's point of view
- On Correspondences Between Unary Algebras, Automata, Semigroups and Congruences
- Mathematical Foundations of Computer Science 2004
- Unary algebras, semigroups and congruences on free semigroups
- Languages recognized by finite aperiodic groupoids
- Strongly locally testable semigroups with commuting idempotents and related languages
- On finite simple semigroups
- Algebras for classifying regular tree languages and an application to frontier testability
- An algebraic characterization of frontier testable tree languages
- scientific article; zbMATH DE number 1972793 (Why is no real title available?)
- The join of the pseudovarieties of \(\mathcal R\)-trivial and \(\mathcal L\)-trivial monoids
- General varieties of tree languages
- Tree algebras and varieties of tree languages
- Algebraic characterization of logically defined tree languages
- Eilenberg Theorems for Free
- scientific article; zbMATH DE number 7649885 (Why is no real title available?)
- Positive varieties of tree languages
- Regular languages and Stone duality
- Pseudovarieties, generalized varieties and similarly described classes
- Profinite topologies
- Three notes on distributive lattices
- scientific article; zbMATH DE number 4081845 (Why is no real title available?)
- scientific article; zbMATH DE number 859788 (Why is no real title available?)
- Algebraic recognizability of regular tree languages
- Bases for pseudovarieties closed under bideterministic product
- The linear nature of pseudowords
- The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups
- Fuzzy identity filters and fuzzy subpseudovarieties
- Profinite monads, profinite equations, and Reiterman's theorem
- Nonstandard characterization of pseudovarieties
- Aperiodicity in Tree Automata
This page was built for publication: On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q751686)
