The following pages link to (Q3838759):
Displaying 9 items.
- Simplifying the signature in second-order unification (Q843951) (← links)
- Farmer's theorem revisited (Q1607046) (← links)
- Logic with equality: Partisan corroboration and shifted pairing (Q1854299) (← links)
- On the undecidability of second-order unification (Q1854349) (← links)
- Decidability of bounded second order unification (Q1887168) (← links)
- Restricted combinatory unification (Q2305407) (← links)
- Tractable and intractable second-order matching problems (Q2643530) (← links)
- Regular Patterns in Second-Order Unification (Q3454122) (← links)
- Nominal Unification from a Higher-Order Perspective (Q5892169) (← links)
