A
Menu
November 12, 2024 conference-paper Aachen paper

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting

Lecture notes in computer science, pp. 339–366

DOI: 10.1007/978-3-031-75783-9_14 OpenAlex

Authors 2

  1. Jan-Christoph Kassing corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. Jürgen Giesl corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 50