A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting

Documenti analoghi

• Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
  di: Kassing, Jan-Christoph, et al.
  Pubblicazione: (2025)
• The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
  di: Kassing, Jan-Christoph, et al.
  Pubblicazione: (2024)
• From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
  di: Kassing, Jan-Christoph, et al.
  Pubblicazione: (2024)
• From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
  di: Kassing, Jan-Christoph, et al.
  Pubblicazione: (2023)
• Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
  di: Kassing, Jan-Christoph, et al.
  Pubblicazione: (2024)