TY - JOUR T1 - Algebraic notions of nontermination: Omega and divergence in idempotent semirings JO - J LOGIC ALGEBR PROGR PY - 2010/11/01 AU - Hofner P AU - Struth G ED - DO - DOI: 10.1016/j.jlap.2010.07.016 VL - 79 IS - 8 SP - 794 EP - 811 Y2 - 2025/06/25 ER -