Gast ::
TY - JOUR AU - Kassing, Jan-Christoph AU - Giesl, Jürgen TI - The annotated dependency pair framework for almost-sure termination of probabilistic term rewriting JO - Science of computer programming VL - 251 SN - 1872-7964 CY - Amsterdam [u.a.] PB - Elsevier Science M1 - RWTH-2026-00673 SP - 103417 PY - 2026 N1 - Received 31 December 2024, Revised 10 November 2025, Accepted 12 November 2025, Available online 6 December 2025 T2 - 17. International Symposium on Functional and Logic Programming CY - 15 May 2024 - 17 May 2024, Kumamoto (Japan) Y2 - 15 May 2024 - 17 May 2024 M2 - Kumamoto, Japan LB - PUB:(DE-HGF)16 ; PUB:(DE-HGF)8 UR - <Go to ISI:>//WOS:001656016800001 DO - DOI:10.1016/j.scico.2025.103417 UR - https://publications.rwth-aachen.de/record/1026123 ER -