884 search results - page 30 / 177 » The Linear Logic of Multisets |
115
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
124
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
138
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we consider languages of labelled N-free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only ...
115
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
132
Voted
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B