Вы здесь

Kanovich M. I.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Simulating Guarded Programs in Linear Logic 1995 Kanovich M. I. Lecture Notes in Computer Science 19.05.1995
СТ Computational and Concurrency Models of Linear Logic 1994 Kanovich M. I. Lecture Notes in Computer Science 27.07.1994
СТ Petri Nets, Horn Programs, Linear Logic, and Vector Games 1994 Kanovich M. I. Lecture Notes in Computer Science 05.05.1994