884 search results - page 98 / 177 » The Linear Logic of Multisets |
120
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
82
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
This paper proposes an innovative algorithm to find the two’s complement of a binary number. The proposed method works in logarithmic time (O(logN)) instead of the worst case li...
119
Voted
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
113
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
Ripple-carry architectures are the norm in today's reconfigurable fabrics. They are simple, require minimal routing, and are easily formed across arbitrary cells in a fabric....
127
Voted
WOA
2007
15 years 4 months ago
2007
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...