TY - CONF T1 - Non-termination in idempotent semirings JO - RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE PY - 2008/01/01 AU - Hofner P AU - Struth G ED - Berghammer R ED - Moller B ED - Struth G VL - 4988 SP - 206 EP - 220 Y2 - 2024/12/22 ER -