Dynamic coalgebraic modalities

H.H. Hansen, R.A. Leal

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

43 Downloads (Pure)

Samenvatting

No abstract.
Originele taal-2Engels
TitelShort contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010)
Plaats van productieAmsterdam
UitgeverijCentrum voor Wiskunde en Informatica
Pagina's12-13
StatusGepubliceerd - 2010

Publicatie series

NaamCWI Report
VolumeSEN-1004
ISSN van geprinte versie1386-369X

Citeer dit