31 citations · 32 across the 3 of their papers we have counts for
1 paper · 1 filter
Desharnais Jules, Bernhard Moeller, Struth Georg
Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, Löb's formula, absence of infinite iteration, absence of divergence and…