The following pages link to (Q3490948):
Displaying 5 items.
- Completion of rewrite systems with membership constraints. I: Deduction rules (Q1264438) (← links)
- A Completion Method to Decide Reachability in Rewrite Systems (Q2964463) (← links)
- Completeness of rewrite rules and rewrite strategies for FP (Q3476266) (← links)
- (Q4217958) (← links)
- Completion of rewrite systems with membership constraints (Q5204334) (← links)