Jambox
From MaRDI portal
Cited in
(24)- Increasing interpretations
- Tyrolean
- AProVE
- MU-TERM
- VMTL
- TPDB
- TPA
- Matchbox
- TORPA
- Proving termination properties with \textsc{mu-term}
- Max/Plus tree automata for termination of term rewriting
- Generalized and formalized uncurrying
- Termination of String Rewriting with Matrix Interpretations
- Certifying a Termination Criterion Based on Graphs, without Graphs
- Loops under Strategies
- Coccinelle
- Proving termination in the context-sensitive dependency pair framework
- scientific article; zbMATH DE number 7379291 (Why is no real title available?)
- A Transformational Approach to Prove Outermost Termination Automatically
- Modular and certified semantic labeling and unlabeling
- Lazy productivity via termination
- Search Techniques for Rational Polynomial Orders
- Termination of just/fair computations in term rewriting
- Context-sensitive dependency pairs
This page was built for software: Jambox
