Compact proof certificates for linear logic (Q4916062)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Compact proof certificates for linear logic |
scientific article; zbMATH DE number 6155877
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Compact proof certificates for linear logic |
scientific article; zbMATH DE number 6155877 |
Statements
Compact Proof Certificates for Linear Logic (English)
0 references
19 April 2013
0 references
0.7436189651489258
0 references
0.737808883190155
0 references
0.7252515554428101
0 references
0.7226358652114868
0 references
