884 search results - page 3 / 177 » The Linear Logic of Multisets |
CAV
2008
Springer
13 years 11 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
AAECC
2001
Springer
14 years 1 months ago
2001
Springer
A projective multiset is a collection of projective points, which are not necessarily distinct. A linear code can be represented as a projective multiset, by taking the columns of ...
ACL
1994
13 years 10 months ago
1994
This paper defines multiset-valued linear index grammar and unordered vector grammar with dominance links. The former models certain uses of multisetvalued feature structures in u...
IJCAI
2003
13 years 10 months ago
2003
We identify a new and important global (or nonbinary) constraint which ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered. This const...
PLILP
1998
Springer
14 years 1 months ago
1998
Springer
