Вы здесь

De Liguoro U.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Logical Semantics for the First Order c-Calculus 2003 Van Bakel S., De Liguoro U. Lecture Notes in Computer Science 20.11.2003
СТ May and Must Convergency in Concurrent -calculus 1994 Alessi F., Dezani-Ciancaglini M., De Liguoro U. Lecture Notes in Computer Science 29.09.1994
СТ Fully Abstract Semantics for Concurrent -calculus 1994 Dezani-Ciancaglini M., De Liguoro U., Piperno A. Lecture Notes in Computer Science 30.04.1994
СТ Filter Models for a Parallel and Non Deterministic -Calculus 1993 Dezani-Ciancaglini M., De Liguoro U., Piperno A. Lecture Notes in Computer Science 20.10.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008 2009 Lecture Notes in Computer Science
  1. Berardi S.
  2. Domiani F.
  3. De Liguoro U.
16.02.2010