Pages that link to "Item:Q1929232"
From MaRDI portal
The following pages link to Determinization of conditional term rewriting systems (Q1929232):
Displaying 6 items.
- Reversible computation in term rewriting (Q1683707) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (Q4993358) (← links)
- Semi-inversion of Conditional Constructor Term Rewriting Systems (Q5097640) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
