1938 search results - page 5 / 388 » On Positive Relational Calculi |
EUSFLAT
2007
13 years 9 months ago
2007
The paper presents an overview of a computation friendly calculus of fuzzy relations. It is presented within the framework of an enriched generic algebra of relations that we have...
CALCO
2009
Springer
14 years 2 months ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...
DC
2010
13 years 4 months ago
2010
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, together with some of their variants: asynchronous -calculus, distributed -calculus,...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...