@article{lmcs:777, title = {Algebraic Notions of Termination}, author = {Desharnais Jules and Bernhard Moeller and Struth Georg}, url = {https://lmcs.episciences.org/777}, doi = {10.2168/LMCS-7(1:1)2011}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 7, Issue 1}, eid = 1, year = {2011}, month = {Feb}, keywords = {Computer Science - Logic in Computer Science, F.3.1, F.3.2, F.4.1}, }