Person
Jan-Christoph Kassing
M.Sc.Graduiertenkolleg UnRAVeL
Promotionsstudent
Adresse
Ahornstraße 55
52074 Aachen
| Promotionsprojekt |
|---|
| Analyzing Termination and Expected Runtime Complexity for Probabilistic Term Rewriting |
Publikationen im Rahmen von UnRAVeL
| Quelle | Autor(en) |
|---|---|
| [Buchbeitrag, Beitrag zu einem Tagungsband] 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) |