@inproceedings{Krob:Undecidability:1992,
    Author = {Krob, Daniel},
    BookTitle = {ICALP'92},
    Editor = {Kuich, W.},
    File = {The equality problem for rational series with multiplicities in the tropical semiring is undecidable - Krob (0) (0) - a - a - c.pdf},
    ISBN = {978-3-540-55719-7},
    Keywords = {classic},
    Language = {English},
    Pages = {101--112},
    Publisher = {Springer Berlin Heidelberg},
    Series = {LNCS},
    Title = {The equality problem for rational series with multiplicities in the tropical semiring is undecidable},
    URL = {http://dx.doi.org/10.1007/3-540-55719-9\_67},
    Volume = {623},
    Year = {1992},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-55719-9\_67},
    date-added = {2014-08-18 08:36:38 +0000},
    date-modified = {2023-08-25 11:28:38 +0200},
    doi = {10.1007/3-540-55719-9_67}
}

@inproceedings{Krob:Undecidability:1992, Author = {Krob, Daniel}, BookTitle = {ICALP'92}, Editor = {Kuich, W.}, File = {The equality problem for rational series with multiplicities in the tropical semiring is undecidable - Krob (0) (0) - a - a - c.pdf}, ISBN = {978-3-540-55719-7}, Keywords = {classic}, Language = {English}, Pages = {101--112}, Publisher = {Springer Berlin Heidelberg}, Series = {LNCS}, Title = {The equality problem for rational series with multiplicities in the tropical semiring is undecidable}, URL = {http://dx.doi.org/10.1007/3-540-55719-9_67}, Volume = {623}, Year = {1992}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-55719-9_67}, date-added = {2014-08-18 08:36:38 +0000}, date-modified = {2023-08-25 11:28:38 +0200}, doi = {10.1007/3-540-55719-9_67} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge