Logics for Coalgebras and Applications to Computer Science

Logics for Coalgebras and Applications to Computer Science
Author :
Publisher : BoD – Books on Demand
Total Pages : 201
Release :
ISBN-10 : 9783831112494
ISBN-13 : 3831112495
Rating : 4/5 (495 Downloads)

Book Synopsis Logics for Coalgebras and Applications to Computer Science by : Alexander Kurz

Download or read book Logics for Coalgebras and Applications to Computer Science written by Alexander Kurz and published by BoD – Books on Demand. This book was released on 2001-05 with total page 201 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Logics for Coalgebras and Applications to Computer Science Related Books

Logics for Coalgebras and Applications to Computer Science
Language: en
Pages: 201
Authors: Alexander Kurz
Categories:
Type: BOOK - Published: 2001-05 - Publisher: BoD – Books on Demand

DOWNLOAD EBOOK

Algebra and Coalgebra in Computer Science
Language: en
Pages: 473
Authors: Till Mossakowski
Categories: Computers
Type: BOOK - Published: 2007-08-22 - Publisher: Springer

DOWNLOAD EBOOK

A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas
Foundations of Software Science and Computational Structures
Language: en
Pages: 532
Authors: Vladimiro Sassone
Categories: Computers
Type: BOOK - Published: 2005-03-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005,
Coalgebraic Methods in Computer Science
Language: en
Pages: 244
Authors: Ichiro Hasuo
Categories: Mathematics
Type: BOOK - Published: 2016-06-03 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 20
Introduction to Coalgebra
Language: en
Pages: 495
Authors: Bart Jacobs
Categories: Mathematics
Type: BOOK - Published: 2017 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.