Pages that link to "Item:Q1322774"
From MaRDI portal
The following pages link to Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification (Q1322774):
Displaying 7 items.
- A decision algorithm for distributive unification (Q1275018) (← links)
- Avoiding slack variables in the solving of linear diophantine equations and inequations (Q1391934) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- An algorithm for distributive unification (Q5055867) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)
- Automated Deduction – CADE-19 (Q5900732) (← links)