Pages that link to "Item:Q6488563"

The following pages link to Retrieving library identifiers via equational matching of types (Q6488563):

Displaying 5 items.

• A decision algorithm for distributive unification (Q1275018) (← links)
• Efficient and flexible matching of recursive types (Q1854490) (← links)
• An algorithm for distributive unification (Q5055867) (← links)
• (Q5089014) (← links)
• Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)