Author： Laurent O.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.290, Iss.1, 2003-01, pp. : 161-188
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Coherence for sharing proof-nets
By Guerrini S. Martini S. Masini A.
Theoretical Computer Science, Vol. 294, Iss. 3, 2003-02 ,pp. :
Access to resources
Recommend
Handsome proof-nets: perfect matchings and cographs
By Retore C.
Theoretical Computer Science, Vol. 294, Iss. 3, 2003-02 ,pp. :
An algebraic correctness criterion for intuitionistic multiplicative proof-nets
By de Groote P.
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :
Proof nets, garbage, and computations
By Guerrini S. Martini S. Masini A.
Theoretical Computer Science, Vol. 253, Iss. 2, 2001-02 ,pp. :