| Guy Noel < Guy Perrier < Guy Rouas | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000300 (1992) | Didier Galmiche ; Guy Perrier | Automated deduction in additive and multiplicative linear logic |
| 000370 (2001) | Guy Perrier | Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions |
| 000525 (2004) | Guy Perrier | Les grammaires d’interaction |
| 001502 (1998) | Guy Perrier | Corrigendum to Galmiche's and Perrier's “On proof normalization in linear logic” |
| 002294 |