3 search results - page 1 / 1 » relmics 2005 |
RELMICS
2005
Springer
13 years 10 months ago
2005
Springer
RELMICS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
RELMICS
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we present some examples of relational correspondences for not necessarily distributive lattices with modal-like operators of possibility (normal and additive operato...