Affine Logic
 |
|
Описание:
High Quality Content by WIKIPEDIA articles! Affine logic is a substructural logic whose proof theory rejects the structural rule of contraction. It can also be characterized as linear logic with weakening.The name"affine logic"is...Похожие книги
 | Elementary geometry of algebraic curves Автор: C. G. Gibson Год: 1998 |
| Elementary geometry of algebraic curves: an undergraduate introduction Автор: C. G. Gibson Год: 1998 |
| Elementary Geometry of Algebraic Curves: An Undergraduate Introduction Автор: C. G. Gibson Год: 1999 |
| Elementary Geometry of Algebraic Curves Автор: C. G. Gibson Год: 1998 |
| Almost-Bieberbach groups: affine and polynomial structures Автор: Karel Dekimpe Год: 1996 |
| Geometric Linear Algebra Автор: I-Hsiung Lin Год: 2005 |