Pages that link to "Item:Q2405240"

The following pages link to Notions of knowledge in combinations of theories sharing constructors (Q2405240):

Displaying 3 items.

• Non-disjoint combined unification and closure by equational paramodulation (Q831919) (← links)
• Terminating non-disjoint combined unification (Q2119106) (← links)
• Computing knowledge in equational extensions of subterm convergent theories (Q5139279) (← links)