Вы здесь

Volpe P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Derivation of Proof Methods by Abstract Interpretation 1998 Levi G., Volpe P. Lecture Notes in Computer Science 13.10.1998
СТ A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs 1998 Volpe P. Lecture Notes in Computer Science 01.10.1998
СТ Concurrent Logic Programming as Uniform Linear Proofs 1994 Volpe P. Lecture Notes in Computer Science 01.11.1994