"This book serves as an introduction to the C++ language. It teaches how to
program in C++ and how to properly use its features. It does not attempt to teach
object-oriented...
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...