Connection proof search methods in Linear...
URL: https://inria.hal.science/inria-00098601
Dataset description:
Article dans revue scientifique avec comité de lecture.
Source: Connection proof search methods in Linear Logic and proof nets construction
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 5, 2026 |
| Created | unknown |
| Format | HTML |
| License | No License Provided |
| Created | 6 months ago |
| Id | e3d56126-82a3-40a5-b4db-02b2da835deb |
| Package id | oai-hal-inria-00098601v1 |
| Resource type | HTML |
| State | active |