id: 05275634
dt: a
an: 05275634
au: Jipsen, Peter; Struth, Georg
ti: The structure of the one-generated free domain semiring.
so: Berghammer, Rudolf (ed.) et al., 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. Proceedings. Berlin: Springer (ISBN 978-3-540-78912-3/pbk).
    Lecture Notes in Computer Science 4988, 234-242 (2008).
py: 2008
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-78913-0_18
ab: Summary: This note gives an explicit construction of the one-generated free
    domain semiring. In particular it is proved that the elements can be
    represented uniquely by finite antichains in the poset of finite
    strictly decreasing sequences of nonnegative integers. It is also shown
    that this domain semiring can be represented by sets of binary
    relations with union, composition and relational domain as operations.
rv: