@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",
}