The Structure of the One-Generated Free Domain Semiring

Peter Jipsen, Georg Struth. The Structure of the One-Generated Free Domain Semiring. In Rudolf Berghammer, Bernhard Möller, Georg Struth, editors, Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. P. Volume 4988 of Lecture Notes in Computer Science, pages 234-242, Springer, 2008. [doi]

Abstract

Abstract is missing.