| Originalsprog | Engelsk |
|---|---|
| Titel | 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 |
| Redaktører | Steffen, B. (ed.) |
| Forlag | IEEE Computer Society Press |
| Publikationsdato | 1998 |
| Udgave | 1378 |
| Sider | 20-34 |
| ISBN (Trykt) | 3540643001 |
| Status | Udgivet - 1998 |
| Begivenhed | A Coock's Tour of Equational Axiomatizations for Prefix Iteration - Varighed: 19 maj 2010 → … |
Konference
| Konference | A Coock's Tour of Equational Axiomatizations for Prefix Iteration |
|---|---|
| Periode | 19/05/2010 → … |
Bibliografisk note
ISSN ; 0302-9743Citer 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.
@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 proceeding › Konferenceartikel i proceeding › Forskning
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