| intuitionistic and linear logics < intuitionistic logic < intutionism | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001044 (2002) | Didier Galmiche ; Daniel Mery | Connection-based proof search in propositional BI logic |
| 001760 (2001) | Dominique Larchey-Wendling ; Daniel Méry ; Didier Galmiche | STRIP : Structural Sharing for Efficient Proof-search |
| 001A42 (2000) | Didier Galmiche ; Vincent Balat | Labelled Proof Systems for Intuitionistic Provability |
| 001B08 (2000) | Didier Galmiche ; Dominique Larchey-Wendling ; Daniel Méry | STRIP : Structural sharing and intuitionistic proof-search |
| 001F02 (1999) | Didier Galmiche ; Vincent Balat | Labelled Proof Systems for Intuitionistic Provability |
| 002400 |