scientific article
From MaRDI portal
Publication:3431478
zbMath1161.68025MaRDI QIDQ3431478
Publication date: 10 April 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
*-Continuous Kleene $$\omega $$-Algebras ⋮ Weighted automata and weighted logics with discounting ⋮ Weighted automata and weighted logics on infinite words ⋮ Skew and infinitary formal power series ⋮ Weighted Automata and Weighted Logics with Discounting ⋮ A Kleene-Schützenberger theorem for weighted timed automata ⋮ Schützenberger's theorem on formal power series follows from Kleene's theorem ⋮ Weighted automata with discounting ⋮ Regular Expressions on Average and in the Long Run ⋮ A Weighted μ-Calculus on Words ⋮ Partial Conway and Iteration Semiring-Semimodule Pairs ⋮ Kleene Theorem in Partial Conway Theories with Applications ⋮ Monitor Logics for Quantitative Monitor Automata
This page was built for publication:
