Author: Guerrini S. Martini S. Masini A.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.253, Iss.2, 2001-02, pp. : 185-237
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. :
Polarized proof-nets and -calculus
By Laurent O.
Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. :
Handsome proof-nets: perfect matchings and cographs
By Retore C.
Theoretical Computer Science, Vol. 294, Iss. 3, 2003-02 ,pp. :
Connection methods in linear logic and proof nets construction
By Galmiche D.
Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. :