Javier Esparza, Stefan Kiefer, Michael Luttenberger. On Fixed Point Equations over Commutative Semirings. In Wolfgang Thomas, Pascal Weil, editors, STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings. Volume 4393 of Lecture Notes in Computer Science, pages 296-307, Springer, 2007. [doi]
Abstract is missing.