The annotated dependency pair framework for almost-sure termination of probabilistic term rewriting
Authors 2
-
Jan-Christoph Kassing Aachen
Affiliation as printed
RWTH Aachen
-
Jürgen Giesl Aachen
Affiliation as printed
RWTH Aachen
Cited by 0 stored of 0
No patents citing this paper on Lens.org (checked 2026-10-06).