499 search results - page 11 / 100 » Logic Programming in a Fragment of Intuitionistic Linear Log... |
76
Voted
AML
1998
14 years 11 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
CORR
2009
Springer
14 years 9 months ago
2009
Springer
CSL
2009
Springer
15 years 6 months ago
2009
Springer
110
click to vote
DAWAK
2000
Springer
15 years 4 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
CADE
2007
Springer
16 years 39 min ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...