Dynamic coalgebraic modalities

H.H. Hansen, R.A. Leal

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

41 Downloads (Pure)


No abstract.
Original languageEnglish
Title of host publicationShort contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010)
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Publication statusPublished - 2010

Publication series

NameCWI Report
ISSN (Print)1386-369X

Cite this