|
СТ |
Composing Hidden Information Modules over Inclusive Institutions |
2004 |
Goguen J., Rosu G. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
|
СТ |
A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases |
2002 |
Nam Y. -K., Goguen J., Wang G. |
|
|
|
Lecture Notes in Computer Science |
10.12.2002 |
|
СТ |
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability |
1992 |
Moss L., Meseguer J., Goguen J. |
|
|
|
Theoretical Computer Science |
30.07.1992 |
|
СТ |
Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories |
1991 |
Tarlecki A., Burstall R., Goguen J. |
|
|
|
Theoretical Computer Science |
25.12.1991 |
|
СТ |
Proving and Rewriting |
1990 |
Goguen J. |
|
|
|
Lecture Notes in Computer Science |
09.02.1991 |
