Publisher's Synopsis
Focusing on the fundamental aspects of reasoning about hierarchies, this book brings together contributions from the research in knowledge representation, object-oriented programming languages and data models, theory of types and parallel computing with the main goal of gaining a deeper understanding of the similarities and differences of the problems and proposed solutions.