Logics for Coalgebras and Applications to Computer Science

Front Cover
BoD – Books on Demand, 2001 - 199 pages
0 Reviews
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
9
Categorical Universal Coalgebra
17
A Case Study
119
Algebraic and Coalgebraic Specifications
135
A Categorical Notions
167
B Basic Notions of Modal Logic
185
Copyright

Common terms and phrases

Bibliographic information