Related Books
Language: en
Pages: 315
Pages: 315
Type: BOOK - Published: 1990-11-08 - Publisher: Elsevier
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
Language: en
Pages: 328
Pages: 328
Type: BOOK - Published: 1997-08-20 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Lig
Language: en
Pages: 291
Pages: 291
Type: BOOK - Published: 2004-06-01 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd Inter
Language: en
Pages: 374
Pages: 374
Type: BOOK - Published: 2009-10-05 - Publisher: Springer Science & Business Media
The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th In
Language: en
Pages: 217
Pages: 217
Type: BOOK - Published: 2007-08-14 - Publisher: Springer Science & Business Media
Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary re
