Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs. [Extended Abstract]

Electronic Notes in Theoretical Computer Science

Volumn 3, Issue C, 1996, Pages 167-182

  Retoré, Christian ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SCIENCE; ENCODING (SYMBOLS); MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; THEOREM PROVING;

PERFECT MATCHINGS; PROOF NETS; SERIES-PARALLEL GRAPH; SINGLE GRAPH;

GRAPH THEORY;

EID: 19144368951     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80416-5     Document Type: Article

References (14)

1. La logique linéaire appliquée à l'étude de divers processus de normalisation et principalement du λ-calcul
2. The structure of multiplicatives
3. The mix rule
4. Linear logic
5. On the theory of finite graph with a linear factor II
6. Pomset logic as an alternative categorial grammar
7. Matching Theory
8. Graph theory from linear logic: aggregates
9. Réseaux et Séquents Ordonnés
10. The number of two terminal series-parallel networks