Relational Methods in Computer Science edited by Chris Brink, Wolfram Kahl, Günther Schmidt.
The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Arist...
Full description
Saved in: