Parameterized Data Types in Algebraic Specification Languages (Short Version)
Proceedings of the 7th Colloquium on Automata, Languages and Programming
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Modeling concepts for VLSI CAD objects
ACM Transactions on Database Systems (TODS)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
A data modeling approach for office information systems
ACM Transactions on Information Systems (TOIS)
Making smalltalk a database system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Set Restrictions for Semantic Groupings
IEEE Transactions on Knowledge and Data Engineering
Living taxonomies in the corporate world: The need for multinested data models
CHI '81 Proceedings of the Joint Conference on Easier and More Productive Use of Computer Systems. (Part - II): Human Interface and the User Interface - Volume 1981
Distributed processing of data dynamics
ACM SIGMOD Record
System/K: a knowledge base management system
SSDBM'83 Proceedings of the 2nd international workshop on Proceedings of the Second International Workshop on Statistical Database Management
Hi-index | 0.00 |
There is no paper with a mathematical foundation that I know of that strikes more at the heart of the subject of this Workshop than that of R.M. Burstall and J.A. Goguen [10], presented at the Fifth International Joint Conference on Artificial Intelligence in August of 1977.