Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... with Sabotage -- Categorical Models -- A Finite Model Construction for Coalgebraic Modal Logic -- Presenting...”