TY  - JOUR

T1  - Algebraic Notions of Termination

JO  - Logical Methods in Computer Science, Volume 7, Issue 1 (February
  11, 2011) lmcs:777

UR  - http://dx.doi.org/10.2168/LMCS-7(1:1)2011

PY  - 2011/02/11

AU  - Jules D

AU  - Moeller B

AU  - Georg S

ED  - 

Y2  - 2025/12/03

ER  -