scientific article; zbMATH DE number 2040320

MaRDI QIDQ4449535zbMATH OpenFDO

Authors Stephen L. Bloom, Zoltán Ésik

Publication date 11 February 2004

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Varieties of formal series on trees and Eilenberg's theorem
• scientific article; zbMATH DE number 3891393
• scientific article; zbMATH DE number 3902675
• A variety theorem for trees and theories
• A tree version of Kőnig's theorem
• Varieties of recognizable tree series over fields
• The rank of a formal tree power series
• scientific article; zbMATH DE number 2040902
• scientific article; zbMATH DE number 4023311
• scientific article; zbMATH DE number 933181

Cited in

(14)

• Equational properties of fixed point operations in Cartesian categories: an overview
• A connection between concurrency and language theory
• scientific article; zbMATH DE number 2040322 (Why is no real title available?)
• Axiomatizing the equational theory of regular tree languages
• Dagger extension theorem
• Kleene theorem in partial Conway theories with applications
• Equational properties of fixed-point operations in Cartesian categories: an overview
• Simulations of weighted tree automata
• Fuzzy tree automata
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• Multi-linear iterative \(K\)-\(\Sigma\)-semialgebras.
• Varieties of formal series on trees and Eilenberg's theorem
• Iteration Grove Theories with Applications
• Schützenberger's theorem on formal power series follows from Kleene's theorem

This page was built for publication:

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