Accepted Paper by Jan-Christoph Kassing

08/05/2023

Congratulations to Jan-Christoph Kassing (together with Jürgen Giesl) for his accepted paper "Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs" for the 29th International Conference on Automated Deduction (CADE).