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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Janicki, R. (2005). Basic mereology with equivalence relations. In Lecture Notes in Computer Science (Vol. 3618, pp. 507–519). Springer Verlag. https://doi.org/10.1007/11549345_44
Mendeley helps you to discover research relevant for your work.