|
СТ |
Parameterisation of Logics |
1999 |
Caleiro C., Sernadas C., Sernadas A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
27.08.1999 |
|
СТ |
Denotational Semantics of Object Specification |
1998 |
Sernadas A., Sernadas C., Caleiro C. |
|
|
|
Acta Informatica |
09.10.1998 |
|
СТ |
Synchronization of Logics with Mixed Rules: Completeness Preservation |
1997 |
Sernadas A., Sernadas C., Caleiro C. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
A Theory-based Topological Notion of Institution |
1995 |
Sernadas A., Sernadas C., Valenca J. M. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
|
СТ |
An Institution of Object Behaviour |
1994 |
Sernadas A., Costa J. F., Sernadas C. |
|
|
|
Lecture Notes in Computer Science |
04.06.1994 |
|
СТ |
Object Inheritance Beyond Subtyping |
1994 |
Costa J. F., Sernadas A., Sernadas C. |
|
|
|
Acta Informatica |
10.03.1994 |
|
СТ |
Data Encapsulation and Modularity: Three Views of Inheritance |
1993 |
Costa J. F., Sernadas A., Sernadas C. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
|
СТ |
Object Interaction |
1992 |
Costa J. F., Sernadas A., Sernadas C., Ehrich H. -D. |
|
|
|
Lecture Notes in Computer Science |
17.09.1992 |
