Login / Signup
Stefan Dollase
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Term Rewriting
Theorem Proving
Main Contribution
Top Venues
FLOPS
</>
Publications
</>
Jan-Christoph Kassing
,
Stefan Dollase
,
Jürgen Giesl
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting.
FLOPS
(2024)