Podobne knjige/članki

• From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
  od: Kassing, Jan-Christoph, et al.
  Izdano: (2024)
• A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
  od: Kassing, Jan-Christoph, et al.
  Izdano: (2023)
• From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
  od: Kassing, Jan-Christoph, et al.
  Izdano: (2023)
• Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
  od: Kassing, Jan-Christoph, et al.
  Izdano: (2024)
• The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
  od: Kassing, Jan-Christoph, et al.
  Izdano: (2024)