Pages that link to "Item:Q2964463"
From MaRDI portal
The following pages link to A Completion Method to Decide Reachability in Rewrite Systems (Q2964463):
Displaying 6 items.
- Completion of rewrite systems with membership constraints. I: Deduction rules (Q1264438) (← links)
- Completeness of rewrite rules and rewrite strategies for FP (Q3476266) (← links)
- (Q3490948) (← links)
- Proofs and reachability problem for ground rewrite systems (Q3979263) (← links)
- Completion of rewrite systems with membership constraints (Q5204334) (← links)
- Completeness of Conversion between Reactive Programs for Ultrametric Models (Q5300904) (← links)