Pages that link to "Item:Q1186735"
From MaRDI portal
The following pages link to Sequentiality in orthogonal term rewriting systems (Q1186735):
Displayed 9 items.
- Constructor equivalent term rewriting systems (Q689634) (← links)
- Semantics and strong sequentiality of priority term rewriting systems (Q1275017) (← links)
- Constructor equivalent term rewriting systems are strongly sequential: A direct proof (Q1338780) (← links)
- Decidable call-by-need computations in term rewriting (Q1763429) (← links)
- Normalization, approximation, and semantics for combinator systems (Q1853619) (← links)
- Sequentiality, monadic second-order logic and tree automata. (Q1854333) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- A Needed Rewriting Strategy for Data-Structures with Pointers (Q3522009) (← links)