Author： Matsuoka S.
Publisher： Elsevier
ISSN： 1571-0661
Source： Electronic Notes in Theoretical Computer Science, Vol.50, Iss.2, 2004-01, pp. : 1-15
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Previous Menu Next
Abstract
Related content
An algebraic correctness criterion for intuitionistic multiplicative proof-nets
By de Groote P.
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :
Access to resources
Recommend
From rewrite rules to bisimulation congruences
By Sewell P.
Theoretical Computer Science, Vol. 274, Iss. 1, 2002-03 ,pp. :
Coherence for sharing proof-nets
By Guerrini S. Martini S. Masini A.
Theoretical Computer Science, Vol. 294, Iss. 3, 2003-02 ,pp. :
Proof nets, garbage, and computations
By Guerrini S. Martini S. Masini A.
Theoretical Computer Science, Vol. 253, Iss. 2, 2001-02 ,pp. :
Polarized proof-nets and -calculus
By Laurent O.
Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. :