Pages that link to "Item:Q1041807"
From MaRDI portal
The following pages link to Operational termination of conditional term rewriting systems (Q1041807):
Displaying 9 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Normal forms and normal theories in conditional rewriting (Q730473) (← links)
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Use of logical models for proving infeasibility in term rewriting (Q1751429) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
