Pages that link to "Item:Q6488546"
From MaRDI portal
The following pages link to Complete sets of reductions with constraints (Q6488546):
Displaying 6 items.
- Redundancy criteria for constrained completion (Q673620) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- On using ground joinable equations in equational theorem proving (Q1404987) (← links)
- Redundancy criteria for constrained completion (Q5055781) (← links)
- Associative-commutative deduction with constraints (Q5210795) (← links)
- A completion-based method for mixed universal and rigid E-unification (Q5210805) (← links)
