Extended Lambek calculi and first-order linear logic (Q5414971)
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 6293317
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Extended Lambek calculi and first-order linear logic |
scientific article; zbMATH DE number 6293317 |
Statements
Extended Lambek Calculi and First-Order Linear Logic (English)
0 references
8 May 2014
0 references
0 references
0.8169055581092834
0 references
0.8140925168991089
0 references
0.7998523712158203
0 references
0.7930697202682495
0 references
0.7903224229812622
0 references
