Related Books

Categories, Allegories
Language: en
Pages: 315
Authors: P.J. Freyd
Categories: Mathematics
Type: BOOK - Published: 1990-11-08 - Publisher: Elsevier

DOWNLOAD EBOOK

General concepts and methods that occur throughout mathematics – and now also in theoretical computer science – are the subject of this book. It is a thorou
Categories, Allegories
Language: en
Pages: 296
Authors: Peter J. Freyd
Categories: Allegories (Mathematics)
Type: BOOK - Published: 1990 - Publisher: North Holland

DOWNLOAD EBOOK

Relational and Kleene-Algebraic Methods in Computer Science
Language: en
Pages: 291
Authors: R. Berghammer
Categories: Mathematics
Type: BOOK - Published: 2004-06-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd Inter
Goguen Categories
Language: en
Pages: 217
Authors: Michael Winter
Categories: Philosophy
Type: BOOK - Published: 2007-08-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary re
Relational and Algebraic Methods in Computer Science
Language: en
Pages: 401
Authors: Wolfram Kahl
Categories: Mathematics
Type: BOOK - Published: 2015-09-24 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga,