Semirings and Formal Power Series
From MaRDI portal
Publication:5072542
DOI10.1007/978-3-642-01492-5_1zbMath1484.68082OpenAlexW1669385163WikidataQ55871981 ScholiaQ55871981MaRDI QIDQ5072542
Publication date: 28 April 2022
Published in: Monographs in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.6152
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Semirings (16Y60)
Related Items (29)
The non-positive circuit weight problem in parametric graphs: a solution based on dioid theory ⋮ Finiteness spaces and generalized power series ⋮ Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids ⋮ Alternating weighted automata over commutative semirings ⋮ Tropical Time Series, Iterated-Sums Signatures, and Quasisymmetric Functions ⋮ Structural congruence for bialgebraic semantics ⋮ Weighted Automata and Weighted Logics ⋮ Rational elements of summation semirings ⋮ Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers ⋮ Weighted finite automata over hemirings ⋮ Polynomially ambiguous unary weighted automata over fields ⋮ kProbLog: an algebraic Prolog for machine learning ⋮ \(\mathrm{GF}(2)\)-operations on basic families of formal languages ⋮ On Steinberg algebras of Hausdorff ample groupoids over commutative semirings ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Adding pebbles to weighted automata: easy specification \& efficient evaluation ⋮ Unnamed Item ⋮ ω♯-Algebras ⋮ A unifying approach to algebraic systems over semirings ⋮ Weighted restarting automata ⋮ Weighted parsing for grammar-based language models over multioperator monoids ⋮ Linear weighted tree automata with storage and inverse linear tree homomorphisms ⋮ Determinisability of unary weighted automata over the rational numbers ⋮ Ultramatricial algebras over commutative chain semirings and application to MV-algebras ⋮ Weighted automata computation of edit distances with consolidations and fragmentations ⋮ Principal abstract families of weighted tree languages ⋮ Equational theories for automata ⋮ Distributive laws for monotone specifications
This page was built for publication: Semirings and Formal Power Series
