A Coock's Tour of Equational Axiomatizations for Prefix Iteration

Luca Aceto, W. J. Fokkink, Anna Ingolfsdottir

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelFoundations of Software Science and Computation Structures : Proceedings of the 1st International Conference, FoSSaCS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : Lecture Notes in Computer Science
RedaktørerSteffen, B. (ed.)
ForlagIEEE Computer Society Press
Publikationsdato1998
Udgave1378
Sider20-34
ISBN (Trykt)3540643001
StatusUdgivet - 1998
BegivenhedA Coock's Tour of Equational Axiomatizations for Prefix Iteration -
Varighed: 19 maj 2010 → …

Konference

KonferenceA Coock's Tour of Equational Axiomatizations for Prefix Iteration
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

Citationsformater