Dynamic coalgebraic modalities

H.H. Hansen, R.A. Leal

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

45 Downloads (Pure)

Abstract

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
Pages12-13
Publication statusPublished - 2010

Publication series

NameCWI Report
VolumeSEN-1004
ISSN (Print)1386-369X

Fingerprint

Dive into the research topics of 'Dynamic coalgebraic modalities'. Together they form a unique fingerprint.

Cite this