Dynamic coalgebraic modalities

H.H. Hansen; R.A. Leal

Dynamic coalgebraic modalities

H.H. Hansen, R.A. Leal

Formal System Analysis

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

43 Downloads (Pure)

Samenvatting

No abstract.

Originele taal-2	Engels
Titel	Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010)
Plaats van productie	Amsterdam
Uitgeverij	Centrum voor Wiskunde en Informatica
Pagina's	12-13
Status	Gepubliceerd - 2010

Publicatie series

Naam	CWI Report
Volume	SEN-1004
ISSN van geprinte versie	1386-369X

Toegang tot document

Metis244227Definitieve gepubliceerde versie, 116 KB

Citeer dit

@inproceedings{c249d33a608e4423b71fa67b6458f7a6,

title = "Dynamic coalgebraic modalities",

abstract = "No abstract.",

author = "H.H. Hansen and R.A. Leal",

year = "2010",

language = "English",

series = "CWI Report",

publisher = "Centrum voor Wiskunde en Informatica",

pages = "12--13",

booktitle = "Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010)",

}

Dynamic coalgebraic modalities. / Hansen, H.H.; Leal, R.A.

Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010). Amsterdam : Centrum voor Wiskunde en Informatica, 2010. blz. 12-13 (CWI Report; Vol. SEN-1004).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

TY - GEN

T1 - Dynamic coalgebraic modalities

AU - Hansen, H.H.

AU - Leal, R.A.

PY - 2010

Y1 - 2010

N2 - No abstract.

AB - No abstract.

M3 - Conference contribution

T3 - CWI Report

SP - 12

EP - 13

BT - Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010)

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -