Quasi-varieties in abstract algebraic institutions
Journal of Computer and System Sciences
Bits and pieces of the theory of institutions
Proceedings of a tutorial and workshop on Category theory and computer programming
On observational equivalence and algebraic specification
Journal of Computer and System Sciences
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Moving Between Logical Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
| Hi-index | 0.00 |