Dealing with additives in MALL proof search
| Author(s) : | J. Y. Marion D. Galmiche, |
| Publisher : | N/A |
| Publication Date : | 1995 |
| ISSN : | N/A |
| Abstract : | Some recent works have been devoted to proof search procedures in various fragments of linear logic (we refer to [5, 7] for backgrounds on linear logic). Knowing about some results on complexity, |