Phase semantics, proof nets and some decision...
URL: https://theses.hal.science/tel-00084344
Dataset description:
Linear logic (LL) is very expressive: the smallest propositonal fragment is already NP-complete and the whole logic is indecidable. One can simulate usual computational models...
Source: Phase semantics, proof nets and some decision problems in linear logic.
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 10, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | c7620cf4-8e8b-498d-9a31-95e37707404c |
| Package id | oai-hal-tel-00084344v1 |
| Resource type | HTML |
| State | active |