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  - 2024/12/22

ER  -