The following pages link to (Q2980977):
Displaying 5 items.
- Reachability analysis over term rewriting systems (Q556686) (← links)
- Reachability-based acyclicity analysis by abstract interpretation (Q1944776) (← links)
- Some decidability results on one-pass reductions (Q2423761) (← links)
- Innermost termination of rewrite systems by labeling (Q2873673) (← links)
- Term Rewriting and Applications (Q5703854) (← links)