Affine Logic
Автор: Frederic P. Miller
Издательство:
Год издания: 2010
Страниц: 88
ISBN: 9786132529572
Аннотация:
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 associated with linear
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Affine Logic" (Frederic P. Miller) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |