Вы здесь

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