Pages that link to "Item:Q2271899"
From MaRDI portal
The following pages link to Proving operational termination of membership equational programs (Q2271899):
Displayed 10 items.
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Termination of just/fair computations in term rewriting (Q924727) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Transformations of Conditional Rewrite Systems Revisited (Q3184732) (← links)
- Usable Rules for Context-Sensitive Rewrite Systems (Q3522013) (← links)
- MTT: The Maude Termination Tool (System Description) (Q3541712) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)