3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.LO2016
The strength of the SCT criterion
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
We undertake the study of size-change analysis in the context of Reverse Mathematics. In particular, we prove that the SCT criterion is equivalent to -induction over RCA…
cs.LO2014★ 3 cited
Proving termination with transition invariants of height omega
Stefano Berardi, Paulo Oliva, Silvia Steila
The Termination Theorem by Podelski and Rybalchenko states that the reduction relations which are terminating from any initial state are exactly the reduction relations whose trans…