Вы здесь
Miculan M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Natural Deduction Approach to Dynamic Logic | 1996 | Honsell F., Miculan M. | Lecture Notes in Computer Science | 23.11.1996 | |||
| СТ | The Expressive Power of Structural Operational Semantics with Explicit Assumptions | 1994 | Miculan M. | Lecture Notes in Computer Science | 21.07.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Types for Proofs and Programs: Revised Selected Papers/International Conference, TYPES 2008. Cividale del Friuli, Italy, May 2007 | 2007 | Lecture Notes in Computer Science |
|
04.07.2008 | |||
| СБ | Foundations of Software Science and Computation Structures: Proc./4th Intern. Conf., FOSSACS 2001, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2001, | 2001 | Lecture Notes in Computer Science |
|
05.05.2001 |