Login / Signup
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting.
Jan-Christoph Kassing
Stefan Dollase
Jürgen Giesl
Published in:
FLOPS (2024)
Keyphrases
</>
term rewriting
theorem proving
rewrite systems
main contribution
probabilistic model