Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs (TeReSe)
Date:
Workshop Talk at 25th Informal Workshop on Term Rewriting (TeReSe 2023), Aachen, Germany
Jan-Christoph Kassing
(Probabilistic) Program Verification, Rewriting, Termination
- Kassing(at)cs.rwth-aachen.de
- RWTH Aachen University
- Aachen, Germany
- Room 4209, Ahornstr. 55
- Google Scholar
- ORCID
- ResearchGate
- Github