Pages that link to "Item:Q2848903"
From MaRDI portal
The following pages link to Computing More Specific Versions of Conditional Rewriting Systems (Q2848903):
Displaying 4 items.
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- A Finite Representation of the Narrowing Space (Q3453648) (← links)
- Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (Q4993358) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)