3 search results - page 1 / 1 » relmics 2005 |
78
Voted
RELMICS
2005
Springer
15 years 4 months ago
2005
Springer
89
Voted
RELMICS
2005
Springer
15 years 4 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
15 years 4 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...