Pages that link to "Item:Q741252"

The following pages link to Regular expression order-sorted unification and matching (Q741252):

Displaying 2 items.

• Regular expression order-sorted unification and matching (Q741252) (← links)
• Variadic equational matching in associative and commutative theories (Q2029000) (← links)