Jan-Christoph Kassing Urheberrecht: © Jan-Christoph Kassing

Person

Jan-Christoph Kassing

M.Sc.
Graduiertenkolleg UnRAVeL

Promotionsstudent

Adresse

Ahornstraße 55

52074 Aachen

Kontakt

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