Varieties of many-sorted recognizable sets

MaRDI QIDQ3077328zbMATH OpenFDO

Authors Saeed Salehi, Magnus Steinby

Publication date 22 February 2011

zbMATH Keywords

recognizable setsvarieties

Mathematics Subject Classification ID

Heterogeneous algebras (08A68) Applications of universal algebra in computer science (08A70) Lattices of varieties (08B15) Algebraic theory of languages and automata (68Q70)

Recommendations

• Congruence-based proofs of the recognizability theorems for free many-sorted algebras
• General varieties of tree languages
• Many-sorted algebras in congruence modular varieties
• scientific article; zbMATH DE number 5005936
• scientific article; zbMATH DE number 440116

Cited in

(4)

• scientific article; zbMATH DE number 440116 (Why is no real title available?)
• Eilenberg Theorems for Free
• Congruence-based proofs of the recognizability theorems for free many-sorted algebras
• Tree algebras and varieties of tree languages

This page was built for publication: Varieties of many-sorted recognizable sets

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