Jambox
From MaRDI portal
Software:22035
No author found.
Related Items (15)
Generalized and Formalized Uncurrying ⋮ Unnamed Item ⋮ Termination of String Rewriting with Matrix Interpretations ⋮ Unnamed Item ⋮ Termination of just/fair computations in term rewriting ⋮ Certifying a Termination Criterion Based on Graphs, without Graphs ⋮ A Transformational Approach to Prove Outermost Termination Automatically ⋮ Lazy productivity via termination ⋮ Proving Termination in the Context-Sensitive Dependency Pair Framework ⋮ Context-sensitive dependency pairs ⋮ Proving Termination Properties with mu-term ⋮ Loops under Strategies ⋮ Increasing interpretations ⋮ Search Techniques for Rational Polynomial Orders ⋮ Modular and Certified Semantic Labeling and Unlabeling
This page was built for software: Jambox