EasyChair Smart SlideUser guide
Author: Jan-Christoph Kassing

This page shows all presentations of this author published in EasyChair Smart Slide.

Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs

Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs

Jan-Christoph Kassing and Jürgen Giesl

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair