Coalgebras and modal logic (0)

by M Rößiger
Venue:Coalgebraic Methods in Computer Science, volume 33 of Elecron. Notes Theoret. Comput. Sci. Elsevier, 2000. 37