Вы здесь
Cirstea C.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance | 1998 | Cirstea C. | Lecture Notes in Computer Science | 07.05.1998 | |||
СТ | Semantic Constructions for Hidden Algebra | 1999 | Cirstea C. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 27.08.1999 | ||
СТ | On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability | 2002 | Cirstea C. | Lecture Notes in Computer Science | 09.05.2002 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Algebra and Coalgebra in Computer Science: Proc./4th International Conference, CALCO 2011, Winchester, UK, August/September 2011 | 2011 | Lecture Notes in Computer Science |
|
18.10.2011 | |||
СБ | Coalgebraic Methods in Computer Science: Revised Selected Papers/14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, June 2018 | 2018 | Lecture Notes in Computer Science |
|
30.10.2018 |