Functional documents for computer systems
Science of Computer Programming
Towards a formal semantics of Parnas tables
Proceedings of the 17th international conference on Software engineering
Relational methods in computer science
Relational methods in computer science
A relational model of data for large shared data banks
Communications of the ACM
On a formal semantics of tabular expressions
Science of Computer Programming
On a Mereological System for Relational Software Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
On Connection Synthesis via Rough Mereology
Fundamenta Informaticae - Qualitative Spatial Reasoning
On a Mereological System for Relational Software Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Mining Ontology for Automatically Acquiring Web User Information Needs
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |
An algebraic model for a "part of" relation proposed in [13] is applied to direct product and relations. The basic properties are proven.