Pages that link to "Item:Q1111775"
From MaRDI portal
The following pages link to Unification in commutative idempotent monoids (Q1111775):
Displaying 13 items.
- \(E\)-unification with constants vs. general \(E\)-unification (Q438584) (← links)
- Unification in commutative theories (Q582071) (← links)
- Unit idempotent-connected abundant monoids (Q721246) (← links)
- Unification in varieties of idempotent semigroups (Q1092171) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Unification in free distributive lattices (Q1322163) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- GUBS a Language for Synthetic Biology: Specification and Compilation (Q2945531) (← links)
- Algebraic Monoids whose Nonunits are Products of Idempotents (Q3807432) (← links)
- Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
- Unification theory (Q6169561) (← links)
- Sharing proofs with predicative theories through universe-polymorphic elaboration (Q6635505) (← links)