Pages that link to "Item:Q287056"
From MaRDI portal
The following pages link to Unification for infinite sets of equations between finite terms (Q287056):
Displaying 7 items.
- Unification of kinded infinite trees (Q1352126) (← links)
- A remark on infinite matching vs infinite unification (Q2563693) (← links)
- Unification and infinite series (Q3615259) (← links)
- (Q3991208) (← links)
- (Q4235430) (← links)
- On unification of terms with integer exponents (Q4327380) (← links)
- Variants in the Infinitary Unification Wonderland (Q6486035) (← links)