Axiomatizing Tropical Semirings

Luca Aceto; Zoltan Esik; Anna Ingolfsdottir

Axiomatizing Tropical Semirings

Luca Aceto, Zoltan Esik, Anna Ingolfsdottir

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings : Lecture Notes in Computer Science
Redaktører	Honsell, F. : Miculan, M.(eds.)
Forlag	IEEE Computer Society Press
Publikationsdato	2001
Udgave	2030
Sider	42-56
ISBN (Trykt)	3540418644
Status	Udgivet - 2001
Begivenhed	Axiomatizing Tropical Semirings - Varighed: 19 maj 2010 → …

Konference

Konference	Axiomatizing Tropical Semirings
Periode	19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Aceto, L., Esik, Z., & Ingolfsdottir, A. (2001). Axiomatizing Tropical Semirings. I Honsell, F. : Miculan, M.(eds.) (red.), Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science (2030 udg., s. 42-56). IEEE Computer Society Press.

Aceto, Luca ; Esik, Zoltan ; Ingolfsdottir, Anna. / Axiomatizing Tropical Semirings. Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. red. / Honsell, F. : Miculan, M.(eds.). 2030. udg. IEEE Computer Society Press, 2001. s. 42-56

@inproceedings{f93fc9b08ac111dbbb3d000ea68e967b,

title = "Axiomatizing Tropical Semirings",

author = "Luca Aceto and Zoltan Esik and Anna Ingolfsdottir",

note = "ISSN ; 0302-9743; Axiomatizing Tropical Semirings ; Conference date: 19-05-2010",

year = "2001",

language = "English",

isbn = "3540418644",

pages = "42--56",

editor = "{Honsell, F. : Miculan, M.(eds.)}",

booktitle = "Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "2030",

}

Aceto, L, Esik, Z & Ingolfsdottir, A 2001, Axiomatizing Tropical Semirings. i Honsell, F. : Miculan, M.(eds.) (red.), Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. 2030 udg, IEEE Computer Society Press, s. 42-56, Axiomatizing Tropical Semirings, 19/05/2010.

Axiomatizing Tropical Semirings. / Aceto, Luca; Esik, Zoltan; Ingolfsdottir, Anna.
Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. red. / Honsell, F. : Miculan, M.(eds.). 2030. udg. IEEE Computer Society Press, 2001. s. 42-56.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

TY - GEN

T1 - Axiomatizing Tropical Semirings

AU - Aceto, Luca

AU - Esik, Zoltan

AU - Ingolfsdottir, Anna

N1 - ISSN ; 0302-9743

PY - 2001

Y1 - 2001

M3 - Article in proceeding

SN - 3540418644

SP - 42

EP - 56

BT - Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings

A2 - Honsell, F. : Miculan, M.(eds.), null

PB - IEEE Computer Society Press

T2 - Axiomatizing Tropical Semirings

Y2 - 19 May 2010

ER -

Aceto L, Esik Z, Ingolfsdottir A. Axiomatizing Tropical Semirings. I Honsell, F. : Miculan, M.(eds.), red., Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. 2030 udg. IEEE Computer Society Press. 2001. s. 42-56