scientific article; zbMATH DE number 2040320
From MaRDI portal
Publication:4449535
zbMath1089.68051MaRDI QIDQ4449535
Publication date: 11 February 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (10)
A connection between concurrency and language theory ⋮ Fuzzy tree automata ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Axiomatizing weighted synchronization trees and weighted bisimilarity ⋮ Schützenberger's theorem on formal power series follows from Kleene's theorem ⋮ Multi-Linear Iterative K-Σ-Semialgebras ⋮ Simulations of Weighted Tree Automata ⋮ Kleene Theorem in Partial Conway Theories with Applications
This page was built for publication:
