The following pages link to (Q4938421):
Displayed 6 items.
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Operational termination of conditional term rewriting systems (Q1041807) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Extra Variables Can Be Eliminated from Functional Logic Programs (Q2867956) (← links)
- Formalizing Soundness and Completeness of Unravelings (Q2964466) (← links)
- (Q2980968) (← links)