On iteration semiring-semimodule pairs.
From MaRDI portal
Publication:2460063
DOI10.1007/s00233-007-0709-7zbMath1155.16035OpenAlexW2057864982MaRDI QIDQ2460063
Publication date: 14 November 2007
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00233-007-0709-7
Abstract data types; algebraic specification (68Q65) Semirings (16Y60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Word problems, etc. in computability and recursion theory (03D40)
Related Items (max. 100)
*-Continuous Kleene $$\omega $$-Algebras ⋮ Weighted automata and weighted logics on infinite words ⋮ Inductive semimodules and the vector modules over them. ⋮ Weighted Automata and Weighted Logics ⋮ Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata ⋮ The Triple-Pair Construction for Weighted ω-Pushdown Automata ⋮ Weighted Linear Dynamic Logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fuzzy regular languages over finite and infinite words ⋮ Unnamed Item ⋮ Partial Conway and Iteration Semiring-Semimodule Pairs ⋮ Valuations of Weighted Automata: Doing It in a Rational Way ⋮ Equational theories for automata ⋮ ON CONTEXT-FREE LANGUAGES OF SCATTERED WORDS ⋮ Conway and iteration hemirings Part 2
This page was built for publication: On iteration semiring-semimodule pairs.