884 search results - page 23 / 177 » The Linear Logic of Multisets |
97
Voted
KR
2010
Springer
15 years 6 months ago
2010
Springer
We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear l...
115
click to vote
CSR
2008
Springer
15 years 3 months ago
2008
Springer
We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of langu...
114
click to vote
CSL
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
132
click to vote
PPDP
2010
Springer
15 years 9 days ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
118
click to vote
BIRTHDAY
2000
Springer
15 years 6 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...