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  - 2010/12/28

AU  - Jules D

AU  - Moeller B

AU  - Georg S

ED  - 

DO  - DOI: 10.2168/LMCS-7(1:1)2011

Y2  - 2024/12/22

ER  -