884 search results - page 61 / 177 » The Linear Logic of Multisets |
107
click to vote
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
132
Voted
CSCLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
103
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
135
click to vote
AISC
2008
Springer
15 years 5 months ago
2008
Springer
We use higher-order logic to verify a quantifier elimination procedure for linear arithmetic over ordered fields, where the coefficients of variables are multivariate polynomials o...
134
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...