7 search results - page 1 / 2 » cade 1997 |
168
Voted
CADE
1997
Springer
15 years 12 months ago
1997
Springer
316
Voted
CADE
1997
Springer
15 years 12 months ago
1997
Springer
178
Voted
CADE
1997
Springer
15 years 12 months ago
1997
Springer
203
Voted
CADE
1997
Springer
15 years 12 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...