Pages that link to "Item:Q1854348"
From MaRDI portal
The following pages link to Descendants and origins in term rewriting. (Q1854348):
Displaying 9 items.
- Exploring conditional rewriting logic computations (Q485831) (← links)
- Applications of infinitary lambda calculus (Q1021568) (← links)
- Characterizing polynomial and exponential complexity classes in elementary lambda-calculus (Q1640981) (← links)
- Normalisation for higher-order calculi with explicit substitutions (Q1770414) (← links)
- Braids via term rewriting (Q2422032) (← links)
- Backward Trace Slicing for Rewriting Logic Theories (Q5200013) (← links)
- Clocked lambda calculus (Q5269007) (← links)
- Clocks for Functional Programs (Q5410452) (← links)
- Memory Policy Analysis for Semantics Specifications in Maude (Q5743600) (← links)
