h1

h2

h3

h4

h5
h6

001     1026123
005     20260220072349.0
024 7 _ |2 ISSN
|a 0167-6423
024 7 _ |2 ISSN
|a 1872-7964
024 7 _ |2 SCOPUS
|a SCOPUS:2-s2.0-105025966929
024 7 _ |2 WOS
|a WOS:001656016800001
024 7 _ |2 datacite_doi
|a 10.18154/RWTH-2026-00673
024 7 _ |2 doi
|a 10.1016/j.scico.2025.103417
037 _ _ |a RWTH-2026-00673
041 _ _ |a English
082 _ _ |a 004
100 1 _ |0 P:(DE-82)IDM06925
|a Kassing, Jan-Christoph
|b 0
|e Corresponding author
|u rwth
111 2 _ |a 17. International Symposium on Functional and Logic Programming
|c Kumamoto
|d 2024-05-15 - 2024-05-17
|g FLOPS 2024
|w Japan
245 _ _ |a The annotated dependency pair framework for almost-sure termination of probabilistic term rewriting
|h online, print
260 _ _ |a Amsterdam [u.a.]
|b Elsevier Science
|c 2026
260 _ _ |c 2025
300 _ _ |a [1]-61
336 7 _ |0 0
|2 EndNote
|a Journal Article
336 7 _ |0 PUB:(DE-HGF)16
|2 PUB:(DE-HGF)
|a Journal Article
|b journal
|m journal
336 7 _ |0 PUB:(DE-HGF)8
|2 PUB:(DE-HGF)
|a Contribution to a conference proceedings
336 7 _ |2 BibTeX
|a ARTICLE
336 7 _ |2 DRIVER
|a article
336 7 _ |2 DataCite
|a Output Types/Journal article
336 7 _ |2 ORCID
|a JOURNAL_ARTICLE
500 _ _ |a Received 31 December 2024, Revised 10 November 2025, Accepted 12 November 2025, Available online 6 December 2025
588 _ _ |a Dataset connected to , , , CrossRef, Journals: publications.rwth-aachen.de
591 _ _ |a Germany
700 1 _ |0 P:(DE-82)IDM00052
|a Giesl, Jürgen
|b 1
|u rwth
770 _ _ |a 17th International Symposium on Functional and Logic Programming / Special issue
773 _ _ |0 PERI:(DE-600)2002667-5
|a 10.1016/j.scico.2025.103417
|p 103417
|t Science of computer programming
|v 251
|x 1872-7964
|y 2026
856 4 _ |u https://publications.rwth-aachen.de/record/1026123/files/1026123.pdf
|y OpenAccess
876 7 _ |c 100
|d 2026-02-03
|e Other
|j DEAL
|v 7.00
|x 021000-121420
|z Servicepauschale
876 7 _ |c 2575
|d 2026-02-03
|e Hybrid-OA
|j DEAL
|v 180.25
|x 021000-121420
909 C O |o oai:publications.rwth-aachen.de:1026123
|p OpenAPC_DEAL
|p VDB
|p dnbdelivery
|p driver
|p openCost
|p open_access
|p openaire
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM06925
|a RWTH Aachen
|b 0
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM00052
|a RWTH Aachen
|b 1
|k RWTH
914 1 _ |y 2025
915 1 _ |0 StatID:(DE-HGF)0031
|2 StatID
|a Peer reviewed article
|x 0
915 _ _ |0 LIC:(DE-HGF)CCBY4
|2 HGFVOC
|a Creative Commons Attribution CC BY 4.0
915 _ _ |0 StatID:(DE-HGF)0030
|2 StatID
|a Peer Review
|b ASC
|d 2024-12-21
915 _ _ |0 StatID:(DE-HGF)0113
|2 StatID
|a WoS
|b Science Citation Index Expanded
|d 2024-12-21
915 _ _ |0 StatID:(DE-HGF)0150
|2 StatID
|a DBCoverage
|b Web of Science Core Collection
|d 2024-12-21
915 _ _ |0 StatID:(DE-HGF)0160
|2 StatID
|a DBCoverage
|b Essential Science Indicators
|d 2024-12-21
915 _ _ |0 StatID:(DE-HGF)0199
|2 StatID
|a DBCoverage
|b Clarivate Analytics Master Journal List
|d 2024-12-21
915 _ _ |0 StatID:(DE-HGF)0200
|2 StatID
|a DBCoverage
|b SCOPUS
|d 2024-12-21
915 _ _ |0 StatID:(DE-HGF)0300
|2 StatID
|a DBCoverage
|b Medline
|d 2024-12-21
915 _ _ |0 StatID:(DE-HGF)0420
|2 StatID
|a Nationallizenz
|d 2024-12-21
|w ger
915 _ _ |0 StatID:(DE-HGF)0510
|2 StatID
|a OpenAccess
915 _ _ |0 StatID:(DE-HGF)0600
|2 StatID
|a DBCoverage
|b Ebsco Academic Search
|d 2024-12-21
915 _ _ |0 StatID:(DE-HGF)1160
|2 StatID
|a DBCoverage
|b Current Contents - Engineering, Computing and Technology
|d 2024-12-21
915 p c |0 PC:(DE-HGF)0000
|2 APC
|a APC keys set
915 p c |0 PC:(DE-HGF)0001
|2 APC
|a Local Funding
915 p c |0 PC:(DE-HGF)0002
|2 APC
|a DFG OA Publikationskosten
915 p c |0 PC:(DE-HGF)0125
|2 APC
|a DEAL: Elsevier 09/01/2023
920 1 _ |0 I:(DE-82)121420_20140620
|k 121420
|l Lehr- und Forschungsgebiet Programmiersprachen und Verifikation
|x 0
920 1 _ |0 I:(DE-82)080060_20170720
|k 080060
|l Graduiertenkolleg UnRAVeL
|x 1
980 1 _ |a FullTexts
980 _ _ |a APC
980 _ _ |a I:(DE-82)080060_20170720
980 _ _ |a I:(DE-82)121420_20140620
980 _ _ |a UNRESTRICTED
980 _ _ |a VDB
980 _ _ |a contrib
980 _ _ |a journal

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21