scientific article; zbMATH DE number 2040320
From MaRDI portal
Publication:4449535
zbMATH Open1089.68051MaRDI QIDQ4449535FDOQ4449535
Authors: Stephen L. Bloom, Zoltán Ésik 
Publication date: 11 February 2004
Title of this publication is not available (Why is that?)
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
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)
Cited In (14)
- Equational properties of fixed point operations in Cartesian categories: an overview
- A connection between concurrency and language theory
- Title not available (Why is that?)
- Axiomatizing the equational theory of regular tree languages
- Dagger extension theorem
- Equational properties of fixed-point operations in Cartesian categories: an overview
- Kleene theorem in partial Conway theories with applications
- 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)
