Discrete mathematics and its applications (2nd ed.)
Discrete mathematics and its applications (2nd ed.)
Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Tabular representations in relational documents
Relational methods in computer science
On a formal semantics of tabular expressions
Science of Computer Programming
Software fundamentals: collected papers by David L. Parnas
Software fundamentals: collected papers by David L. Parnas
On a Mereological System for Relational Software Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Possible Rough Ingredients of Concepts in Approximation Spaces
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
A categorical approach to mereology and its application to modelling software components
Transactions on rough sets VIII
On a parthood specification method for component software
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Possible Rough Ingredients of Concepts in Approximation Spaces
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Hi-index | 0.00 |
The traditional theory of “part of” relations (i.e. mereology) is enriched by adding the formal concept of equivalent and exchangeable parts. Various possible axioms and their roles are discussed. An approach is focused on application to model software structures.