17 citations · 20 across the 8 of their papers we have counts for
1 paper · 1 filter
Ton Chanh Le
In this preliminary note, we will illustrate our ideas on automated mechanisms for termination and non-termination reasoning.