Cover Image
Read Now

1
Published 2015
Springer International Publishing
Table of Contents: “... -- Idempotent semirings -- Quantales, allegories, and dynamic algebras.-  Cylindric algebras -- Application...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... for Relational Adhesive Rewriting -- Cardinal Addition in Distributive Allegories -- Relational Methods...”
Cover Image
Read Now

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... for Multirelations in an Allegory -- Unifying Theories of Interrupts -- UTP Semantics for Handel-C -- Unifying...”
Cover Image
Read Now

4
Published 2017
Springer International Publishing
Table of Contents: “... of and with Triples -- Software Development in Relation Algebra with Ampersand -- Allegories and Collagories...”
Cover Image
Read Now

5
Published 2002
Springer Berlin Heidelberg
“... algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory...”
Cover Image
Read Now

6
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Boolean Algebras and Stone Maps in Schröder Categories -- Cardinality in Allegories -- Solving Linear...”