Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002020 | Guy Perrier | A PSPACE-complete fragment of second-order linear logic |
| 002252 | Guy Perrier | Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic'' |
| 002580 | Guy Perrier | A decidable fragment of Second Order Linear Logic |
| 002818 | Guy Perrier | A Decidable Fragment of Second Order Linear Logic |
| This area was generated with Dilib version V0.6.33. |  |