Efficient resource management for linear logic proof search

Iliano Cervesato, Joshua S. Hodas, Frank Pfenning

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Том:

232

Рік:

2000

Мова:

english

Сторінки:

DOI:

10.1016/s0304-3975(99)00173-5

Файл:

PDF, 212 KB

english, 2000

Виконується конвертація в

Конвертація в не вдалась