Sciweavers

14 search results - page 1 / 3
» csl 1999
Sort
View
CSL
1999
Springer
13 years 8 months ago
Term Rewriting
Aart Middeldorp
CSL
1999
Springer
13 years 3 months ago
A P-Time Completeness Proof for Light Logics
We explain why the original proofs of P-Time completeness for Light Affine Logic and Light Linear Logic can not work, and we fully develop a working one.
Luca Roversi