[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2030 || Axiomatizing Tropical Semirings
Honsell, Furio, Miculan, MarinoVolume:
10.1007/3-
Year:
2001
Language:
english
DOI:
10.1007/3-540-45315-6_3
File:
PDF, 200 KB
english, 2001