linear logic (Q841728)
Jump to navigation
Jump to search
system of resource-aware logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | linear logic |
system of resource-aware logic |
Statements
Linear logic
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(10 entries)
- cswiki Lineární logika
- enwiki Linear logic
- eswiki Lógica lineal
- frwiki Logique linéaire
- itwiki Logica lineare
- jawiki 線形論理
- kowiki 선형 논리
- ptwiki Lógica linear
- ruwiki Линейная логика
- zhwiki 线性逻辑