A
Menu
January 01, 2024 conference-paper Aachen paper

A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting

Lecture notes in computer science, pp. 62–80

DOI: 10.1007/978-981-97-2300-3_4 OpenAlex

Authors 3

  1. Jan-Christoph Kassing corresponding Aachen LuFG Informatik 2

    RWTH Aachen University

    Affiliation as printed

    LuFG Informatik 2, RWTH Aachen University, Aachen, Germany

  2. Stefan Dollase Aachen LuFG Informatik 2

    RWTH Aachen University

    Affiliation as printed

    LuFG Informatik 2, RWTH Aachen University, Aachen, Germany

  3. Jürgen Giesl corresponding Aachen LuFG Informatik 2

    RWTH Aachen University

    Affiliation as printed

    LuFG Informatik 2, RWTH Aachen University, Aachen, Germany

Cited by 2 stored of 2

2 results

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

References 38