A resource aware semantics for a focused intuitionistic calculus (Q4559602)
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: A resource aware semantics for a focused intuitionistic calculus |
scientific article; zbMATH DE number 6988322
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A resource aware semantics for a focused intuitionistic calculus |
scientific article; zbMATH DE number 6988322 |
Statements
A resource aware semantics for a focused intuitionistic calculus (English)
0 references
4 December 2018
0 references
0 references
0.9355552792549132
0 references
0.7847774624824524
0 references
0.7844073176383972
0 references
0.7694900035858154
0 references
