Pages that link to "Item:Q3885741"

The following pages link to Decidability of the unification problem for second-order languages with unary functional symbols (Q3885741):

Displaying 3 items.

• Simplifying the signature in second-order unification (Q843951) (← links)
• On the undecidability of second-order unification (Q1854349) (← links)
• Decidability of bounded higher-order unification (Q2456577) (← links)