Christian Retore. Reseaux et Sequents Ordonnes.These de Doctorat, specialite mathematiques, UniversiteParis 7, February 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A System of Interaction and Structure - Guglielmi (2002) (Correct)
A Non-Commutative Extension of MELL - Guglielmi, Straßburger (2002) (15 citations) (Correct)
Lexicalized Proof-Nets and TAGs - Pogodalla (Correct)
MELL in the Calculus of Structures - Straßburger (2003) (Correct)
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
A System of Interaction and Structure - Guglielmi (2004) (Correct)
A Non-commutative Extension of Multiplicative Exponential .. - Guglielmi, Straßburger (2004) (Correct)
A System of Interaction and Structure - Guglielmi (2004) (Correct)
A Non-commutative Extension of Multiplicative Exponential .. - Guglielmi, Straßburger (2004) (Correct)
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (21 citations) (Correct)
MELL in the Calculus of Structures - Straßburger (2003) (Correct)
Une Modalite Autoduale Pour Le Connecteur - Retore (1994) Self-citation (Retore) (Correct)
Words as Modules: a Lexicalised Grammar in the framework of.. - Lecomte, Retore (1997) (3 citations) Self-citation (Christian) (Correct)
A Self-Dual Modality for "before" in the Category of Coherence.. - Retore (1994) Self-citation (Retore) (Correct)
On the Relation Between Coherence Semantics and Multiplicative.. - Retore (1994) (1 citation) Self-citation (Retore) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC