Pages that link to "Item:Q5170162"
From MaRDI portal
The following pages link to Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures (Q5170162):
Displaying 7 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Using well-founded relations for proving operational termination (Q2303238) (← links)
- Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (Q3522011) (← links)
- Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures (Q5170162) (← links)
- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs (Q5191108) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
