Trends in Computational and Applied Mathematics (Jun 2001)
Intervals as Domain Constructor
Abstract
In this work we use an inteval constructor on posets which when applied to a poset D gives a new poset whose elements are intervals of D.
WeChat QR code
