Sciweavers

Share
14 search results - page 1 / 3
» csl 1999
Sort
View
CSL
1999
Springer
10 years 4 months ago
Term Rewriting
Aart Middeldorp
CSL
1999
Springer
9 years 11 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
books