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

Citer dette

Aceto, L., Fokkink, W. J., & Ingolfsdottir, A. (1998). A Coock's Tour of Equational Axiomatizations for Prefix Iteration. I Steffen, B. (ed.) (red.), Foundations 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 (1378 udg., s. 20-34). IEEE Computer Society Press.
Aceto, Luca ; Fokkink, W. J. ; Ingolfsdottir, Anna. / A Coock's Tour of Equational Axiomatizations for Prefix Iteration. Foundations 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. red. / Steffen, B. (ed.). 1378. udg. IEEE Computer Society Press, 1998. s. 20-34
@inproceedings{ad666e60003c11dab4d5000ea68e967b,
title = "A Coock's Tour of Equational Axiomatizations for Prefix Iteration",
author = "Luca Aceto and Fokkink, {W. J.} and Anna Ingolfsdottir",
note = "ISSN ; 0302-9743",
year = "1998",
language = "English",
isbn = "3540643001",
pages = "20--34",
editor = "{Steffen, B. (ed.)}",
booktitle = "Foundations 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",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "1378",

}

Aceto, L, Fokkink, WJ & Ingolfsdottir, A 1998, A Coock's Tour of Equational Axiomatizations for Prefix Iteration. i Steffen, B. (ed.) (red.), Foundations 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. 1378 udg, IEEE Computer Society Press, s. 20-34, A Coock's Tour of Equational Axiomatizations for Prefix Iteration, 19/05/2010.

A Coock's Tour of Equational Axiomatizations for Prefix Iteration. / Aceto, Luca; Fokkink, W. J.; Ingolfsdottir, Anna.

Foundations 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. red. / Steffen, B. (ed.). 1378. udg. IEEE Computer Society Press, 1998. s. 20-34.

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

TY - GEN

T1 - A Coock's Tour of Equational Axiomatizations for Prefix Iteration

AU - Aceto, Luca

AU - Fokkink, W. J.

AU - Ingolfsdottir, Anna

N1 - ISSN ; 0302-9743

PY - 1998

Y1 - 1998

M3 - Article in proceeding

SN - 3540643001

SP - 20

EP - 34

BT - Foundations 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

A2 - Steffen, B. (ed.), null

PB - IEEE Computer Society Press

ER -

Aceto L, Fokkink WJ, Ingolfsdottir A. A Coock's Tour of Equational Axiomatizations for Prefix Iteration. I Steffen, B. (ed.), red., Foundations 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. 1378 udg. IEEE Computer Society Press. 1998. s. 20-34