The following pages link to Unification in abelian semigroups (Q1098653):
Displaying 28 items.
- Petri nets are monoids (Q922720) (← links)
- An algebraic approach to unification under associativity and commutativity (Q1099654) (← links)
- Embedding Boolean expressions into logic programming (Q1100935) (← links)
- Unification in commutative idempotent monoids (Q1111775) (← links)
- Efficient solution of linear diophantine equations (Q1121310) (← links)
- A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\) (Q1187854) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- AC unification through order-sorted AC1 unification (Q1209613) (← links)
- Adventures in associative-commutative unification (Q1262757) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Semi-unification of two terms in Abelian groups (Q1336738) (← links)
- Unification in partially commutative semigroups (Q1337561) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- Avoiding slack variables in the solving of linear diophantine equations and inequations (Q1391934) (← links)
- Constraint solving for term orderings compatible with abelian semigroups, monoids and groups (Q1768746) (← links)
- A formally verified solver for homogeneous linear Diophantine equations (Q1791187) (← links)
- Unification in permutative equational theories is undecidable (Q1825190) (← links)
- Unification algorithms cannot be combined in polynomial time. (Q1854364) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. II (Q1864899) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- A partial solution for D-unification based on a reduction to AC 1-unification (Q4630297) (← links)
- Unification algorithms cannot be combined in polynomial time (Q4647521) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)
- Modular AC unification of higher-order patterns (Q5096303) (← links)
- “Syntactic” AC-unification (Q5096305) (← links)
- Automated Deduction – CADE-19 (Q5900732) (← links)
- Unification theory (Q6169561) (← links)
