Jan-Christoph Kassing Copyright: © Jan-Christoph Kassing

Person

Jan-Christoph Kassing

M.Sc.
UnRAVeL Research Training Group

Doctoral researcher

Address

Ahornstraße 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80-21241
 
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)