h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Kassing, Jan-Christoph
%A Giesl, Jürgen
%T The annotated dependency pair framework for almost-sure termination of probabilistic term rewriting
%J Science of computer programming
%V 251
%@ 1872-7964
%C Amsterdam [u.a.]
%I Elsevier Science
%M RWTH-2026-00673
%P 103417
%D 2026
%Z Received 31 December 2024, Revised 10 November 2025, Accepted 12 November 2025, Available online 6 December 2025
%B 17. International Symposium on Functional and Logic Programming
%C 15 May 2024 - 17 May 2024, Kumamoto (Japan)
Y2 15 May 2024 - 17 May 2024
M2 Kumamoto, Japan
%F PUB:(DE-HGF)16 ; PUB:(DE-HGF)8
%9 Journal ArticleContribution to a conference proceedings
%U <Go to ISI:>//WOS:001656016800001
%R 10.1016/j.scico.2025.103417
%U https://publications.rwth-aachen.de/record/1026123