Pages that link to "Item:Q5055738"
From MaRDI portal
The following pages link to Classes of equational programs that compile into efficient machine code (Q5055738):
Displaying 6 items.
- Strongly sequential and inductively sequential term rewriting systems (Q293294) (← links)
- Constructor equivalent term rewriting systems (Q689634) (← links)
- Strong and NV-sequentiality of constructor systems (Q1029079) (← links)
- Constructor equivalent term rewriting systems are strongly sequential: A direct proof (Q1338780) (← links)
- Decidable call-by-need computations in term rewriting (Q1763429) (← links)
- Termination of lazy rewriting revisited (Q2873676) (← links)