Вы здесь
Di Pierro A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Measuring the Precision of Abstract Interpretations | 2001 | Di Pierro A., Wiklicky H. | Lecture Notes in Computer Science | 23.06.2001 | |||
| СТ | Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model | 1998 | Di Pierro A., Wiklicky H. | Lecture Notes in Computer Science | 02.09.1998 | |||
| СТ | Negation as Instantiation: A new Rule for the Treatment of Negation in Logic Programming | 1991 | Di Pierro A., Martelli M., Palamidessi C. | Logic Programming: Proc./Eighth Intern. Conf. | 19.09.1994 | |||
| СТ | A Logical Denotational Semantics for Constraint Logic Programming | 1994 | Di Pierro A., Palamidessi C. | Lecture Notes in Computer Science | 06.05.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods for Dynamical Systems: Advanced Lectures/13th International School on Formak Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 2013 | 2013 | Lecture Notes in Computer Science |
|
26.08.2013 | |||
| СБ | Formal Methods for Quantitative Aspects of Programming Languages: Advanced Lectures/10th International School on FM for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 2010 | 2010 | Lecture Notes in Computer Science |
|
13.08.2010 |