guest ::
The annotated dependency pair framework for almost-sure termination of probabilistic term rewriting
;
In
17th International Symposium on Functional and Logic Programming / Special issue
In
Science of computer programming 251, Seiten/Artikel-Nr.:103417
2026 & 2025
Received 31 December 2024, Revised 10 November 2025, Accepted 12 November 2025, Available online 6 December 2025
Online
DOI: 10.18154/RWTH-2026-00673
DOI: 10.1016/j.scico.2025.103417
URL: https://publications.rwth-aachen.de/record/1026123/files/1026123.pdf
Einrichtungen
- Lehr- und Forschungsgebiet Programmiersprachen und Verifikation (121420)
- Graduiertenkolleg UnRAVeL (080060)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105025966929
WOS Core Collection: WOS:001656016800001
Interne Identnummern
RWTH-2026-00673
Datensatz-ID: 1026123
Beteiligte Länder
Germany
; 
; 
; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; Essential Science Indicators ; Nationallizenz
; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
| Typ | Amount | VAT | Currency | Share | Status | Cost centre |
| Other | 100.00 | 7.00 | EUR | 3.74 % | (DEAL) | 021000-121420 |
| Hybrid-OA | 2575.00 | 180.25 | EUR | 96.26 % | (DEAL) | 021000-121420 |
| Sum | 2675.00 | 187.25 | EUR | |||
| Total | 2862.25 |
PDF