h1

001026123 001__ 1026123
001026123 005__ 20260220072349.0
001026123 0247_ $$2ISSN$$a0167-6423
001026123 0247_ $$2ISSN$$a1872-7964
001026123 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-105025966929
001026123 0247_ $$2WOS$$aWOS:001656016800001
001026123 0247_ $$2datacite_doi$$a10.18154/RWTH-2026-00673
001026123 0247_ $$2doi$$a10.1016/j.scico.2025.103417
001026123 037__ $$aRWTH-2026-00673
001026123 041__ $$aEnglish
001026123 082__ $$a004
001026123 1001_ $$0P:(DE-82)IDM06925$$aKassing, Jan-Christoph$$b0$$eCorresponding author$$urwth
001026123 1112_ $$a17. International Symposium on Functional and Logic Programming$$cKumamoto$$d2024-05-15 - 2024-05-17$$gFLOPS 2024$$wJapan
001026123 245__ $$aThe annotated dependency pair framework for almost-sure termination of probabilistic term rewriting$$honline, print
001026123 260__ $$aAmsterdam [u.a.]$$bElsevier Science$$c2026
001026123 260__ $$c2025
001026123 300__ $$a[1]-61
001026123 3367_ $$00$$2EndNote$$aJournal Article
001026123 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal
001026123 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings
001026123 3367_ $$2BibTeX$$aARTICLE
001026123 3367_ $$2DRIVER$$aarticle
001026123 3367_ $$2DataCite$$aOutput Types/Journal article
001026123 3367_ $$2ORCID$$aJOURNAL_ARTICLE
001026123 500__ $$aReceived 31 December 2024, Revised 10 November 2025, Accepted 12 November 2025, Available online 6 December 2025
001026123 588__ $$aDataset connected to , , , CrossRef, Journals: publications.rwth-aachen.de
001026123 591__ $$aGermany
001026123 7001_ $$0P:(DE-82)IDM00052$$aGiesl, Jürgen$$b1$$urwth
001026123 770__ $$a17th International Symposium on Functional and Logic Programming / Special issue
001026123 773__ $$0PERI:(DE-600)2002667-5$$a10.1016/j.scico.2025.103417$$p103417$$tScience of computer programming$$v251$$x1872-7964$$y2026
001026123 8564_ $$uhttps://publications.rwth-aachen.de/record/1026123/files/1026123.pdf$$yOpenAccess
001026123 8767_ $$c100$$d2026-02-03$$eOther$$jDEAL$$v7.00$$x021000-121420$$zServicepauschale
001026123 8767_ $$c2575$$d2026-02-03$$eHybrid-OA$$jDEAL$$v180.25$$x021000-121420
001026123 909CO $$ooai:publications.rwth-aachen.de:1026123$$popenaire$$popen_access$$popenCost$$pdriver$$pdnbdelivery$$pVDB$$pOpenAPC_DEAL
001026123 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM06925$$aRWTH Aachen$$b0$$kRWTH
001026123 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00052$$aRWTH Aachen$$b1$$kRWTH
001026123 9141_ $$y2025
001026123 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
001026123 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001026123 915__ $$0StatID:(DE-HGF)0030$$2StatID$$aPeer Review$$bASC$$d2024-12-21
001026123 915__ $$0StatID:(DE-HGF)0113$$2StatID$$aWoS$$bScience Citation Index Expanded$$d2024-12-21
001026123 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection$$d2024-12-21
001026123 915__ $$0StatID:(DE-HGF)0160$$2StatID$$aDBCoverage$$bEssential Science Indicators$$d2024-12-21
001026123 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2024-12-21
001026123 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2024-12-21
001026123 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2024-12-21
001026123 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2024-12-21$$wger
001026123 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001026123 915__ $$0StatID:(DE-HGF)0600$$2StatID$$aDBCoverage$$bEbsco Academic Search$$d2024-12-21
001026123 915__ $$0StatID:(DE-HGF)1160$$2StatID$$aDBCoverage$$bCurrent Contents - Engineering, Computing and Technology$$d2024-12-21
001026123 915pc $$0PC:(DE-HGF)0000$$2APC$$aAPC keys set
001026123 915pc $$0PC:(DE-HGF)0001$$2APC$$aLocal Funding
001026123 915pc $$0PC:(DE-HGF)0002$$2APC$$aDFG OA Publikationskosten
001026123 915pc $$0PC:(DE-HGF)0125$$2APC$$aDEAL: Elsevier 09/01/2023
001026123 9201_ $$0I:(DE-82)121420_20140620$$k121420$$lLehr- und Forschungsgebiet Programmiersprachen und Verifikation$$x0
001026123 9201_ $$0I:(DE-82)080060_20170720$$k080060$$lGraduiertenkolleg UnRAVeL$$x1
001026123 961__ $$c2026-01-19T10:33:08.420240$$x2026-01-19T10:33:08.420240$$z2026-01-19T10:33:08.420240
001026123 9801_ $$aFullTexts
001026123 980__ $$aAPC
001026123 980__ $$aI:(DE-82)080060_20170720
001026123 980__ $$aI:(DE-82)121420_20140620
001026123 980__ $$aUNRESTRICTED
001026123 980__ $$aVDB
001026123 980__ $$acontrib
001026123 980__ $$ajournal