Вы здесь

Dore G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX 1994 Asperti A., Dore G. Lecture Notes in Computer Science 27.07.1994