FOCUSED PROOF SEARCH FOR LINEAR LOGIC IN THE CALCULUS OF STRUCTURES (Q2883080): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Normalize DOI. |
||
| Property / DOI | |||
| Property / DOI: 10.4230/LIPIcs.ICLP.2010.84 / rank | |||
| Property / DOI | |||
| Property / DOI: 10.4230/LIPICS.ICLP.2010.84 / rank | |||
Normal rank | |||
Latest revision as of 03:06, 20 December 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FOCUSED PROOF SEARCH FOR LINEAR LOGIC IN THE CALCULUS OF STRUCTURES |
scientific article |
Statements
11 May 2012
0 references
proof theory
0 references
focusing
0 references
proof search
0 references
deep inference
0 references
linear logic
0 references
FOCUSED PROOF SEARCH FOR LINEAR LOGIC IN THE CALCULUS OF STRUCTURES (English)
0 references
