3 citations · 3 across the 1 of their papers we have counts for
1 paper
Jan-Christoph Kassing, Stefan Dollase, Jürgen Giesl
Recently, the well-known dependency pair (DP) framework was adapted to a dependency tuple framework in order to prove almost-sure innermost termination (iAST) of probabilistic term…