scientific article; zbMATH DE number 5499328
From MaRDI portal
Publication:5506336
zbMath1167.08002MaRDI QIDQ5506336
Stephen L. Bloom, Werner Kuich, Zoltán Ésik
Publication date: 28 January 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automata and formal grammars in connection with logical questions (03D05) Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Semirings (16Y60) Abstract and axiomatic computability and recursion theory (03D75)
Related Items (13)
Axiomatizing rational power series over natural numbers ⋮ Rational elements of summation semirings ⋮ Free inductive \(K\)-semialgebras ⋮ Weighted finite automata over hemirings ⋮ The net automaton of a rational expression ⋮ Free iterative and iteration \(K\)-semialgebras ⋮ A Kleene-Schützenberger theorem for weighted timed automata ⋮ Iteration Semirings ⋮ A Unifying Kleene Theorem for Weighted Finite Automata ⋮ A unifying approach to algebraic systems over semirings ⋮ Partial Conway and Iteration Semiring-Semimodule Pairs ⋮ Kleene Theorem in Partial Conway Theories with Applications ⋮ Equational theories for automata
This page was built for publication: