Noncommutative minimization algorithms
From MaRDI portal
Publication:287255
DOI10.1016/S0020-0190(97)00162-2zbMath1337.68173MaRDI QIDQ287255
E. Laugerotte, Marianne Flouret
Publication date: 26 May 2016
Published in: Information Processing Letters (Search for Journal in Brave)
Related Items (5)
Coalgebras for Bisimulation of Weighted Automata over Semirings ⋮ Weighted Bisimulation in Linear Algebraic Form ⋮ Rational and Recognisable Power Series ⋮ Direct and dual laws for automata with multiplicities ⋮ A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
Cites Work
This page was built for publication: Noncommutative minimization algorithms