Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs

Kassing, Jan-Christoph (Corresponding author); Giesl, Jürgen (Corresponding author)

Cham : Springer Nature Switzerland (2023)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings / edited by Brigitte Pientka, Cesare Tinelli
Seite(n)/Artikel-Nr.: 344-364

Einrichtungen

  • Graduiertenkolleg UnRAVeL [080060]
  • Fachgruppe Informatik [120000]
  • Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation) [121420]

Identifikationsnummern