| Didier Gagnaire < Didier Galmiche < Didier Henrion | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 20.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000092 (2007) | Didier Galmiche | REVIEWS |
| 000300 (1992) | Didier Galmiche ; Guy Perrier | Automated deduction in additive and multiplicative linear logic |
| 000C76 (2003) | Didier Galmiche ; Daniel Me Ry | Semantic Labelled Tableaux for Propositional BI⊥ |
| 001032 (2001) | Didier Galmiche ; Daniel Méry | Proof-Search and Countermodel Generation in Propositional BI Logic |
| 001656 (2000) | Didier Galmiche ; David J. Pym | Proof-search in type-theoretic languages: an introduction |
| 001769 |