Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic (Q3498480)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5275855
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic |
scientific article; zbMATH DE number 5275855 |
Statements
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic (English)
0 references
15 May 2008
0 references
0.9189568
0 references
0.90508854
0 references
0.9036292
0 references
0.89296305
0 references
0.8837748
0 references
0.8829193
0 references
0.8817384
0 references
0.87798977
0 references
0.87595963
0 references
