Person
Jan-Christoph Kassing
M.Sc.UnRAVeL Research Training Group
Doctoral researcher
Address
Ahornstraße 55
52074 Aachen
Dissertation project |
---|
Analyzing Termination and Expected Runtime Complexity for Probabilistic Term Rewriting |
Publications related to UnRAVeL
Source | Author(s) |
---|---|
[Contribution to a book, Contribution to a conference proceedings] Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs In: Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings / edited by Brigitte Pientka, Cesare Tinelli, 344-364, 2023 [DOI: 10.1007/978-3-031-38499-8_20] | Kassing, Jan-Christoph (Corresponding author) Giesl, Jürgen (Corresponding author) |