Category:Linear logic
둘러보기로 이동
검색으로 이동
system of resource-aware logic | |||||
| 미디어 올리기 | |||||
| 다음이 발견·발명하였음 |
| ||||
|---|---|---|---|---|---|
| |||||
 | |||||
"Linear logic" 분류에 속하는 미디어
다음은 이 분류에 속하는 파일 5개 가운데 5개입니다.
-
Cirquent for the "two out of three" combination of resources.png 301 × 232; 6 KB
-
CompSciLogicLinearResTree.png 518 × 460; 9 KB
-
Linear logic vs classical logic.png 707 × 263; 12 KB
-
LL deMorgan.png 130 × 85; 1 KB
-
Sequent calculus for classical linear logic.png 620 × 390; 13 KB
