Pages that link to "Item:Q1093366"
From MaRDI portal
The following pages link to A refinement of strong sequentiality for term rewriting with constructors (Q1093366):
Displayed 8 items.
- Constructor equivalent term rewriting systems (Q689634) (← links)
- Implementing first-order rewriting with constructor systems (Q1112601) (← links)
- Full abstraction and limiting completeness in equational languages (Q1121676) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- Compact Normalisation Trace via Lazy Rewriting (Q2841224) (← links)
- Transforming strongly sequential rewrite systems with constructors for efficient parallel execution (Q5055735) (← links)
- Open problems in rewriting (Q5055780) (← links)
- Optimal normalization in orthogonal term rewriting systems (Q5055799) (← links)