1 citations · 1 across the 1 of their papers we have counts for
1 paper
Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner
Games on recursive game graphs can be used to reason about the control flow of sequential programs with recursion. In games over recursive game graphs, the most natural notion of s…