Вы здесь
Pigozzi D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Complete Algebraic Characterization of Behavioral Subtyping | 2000 | Leavens G. T., Pigozzi D. | Acta Informatica | 16.05.2000 | |||
| СТ | Abstract Algebraic Logic | 1999 | Pigozzi D. | Lecture Notes in Computer Science | 05.02.1999 | |||
| СТ | A Representation Theorem for Lambda Abstraction Algebras | 1993 | Pigozzi D., Salibra A. | Lecture Notes in Computer Science | 21.10.1993 | |||
| СТ | Data Types over Multiple-valued Logics | 1990 | Pigozzi D. | Theoretical Computer Science | 12.02.1991 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Algebraic Logic and Universal Algebra in Computer Science: Proc./Conference, Ames, Iowa, USA, June 1988 | 1990 | Lecture Notes in Computer Science |
|
06.12.1990 |