Publication:3838759
From MaRDI portal
zbMath0901.03013MaRDI QIDQ3838759
Publication date: 13 August 1998
undecidability; decidability; second-order unification; simultaneous rigid E-unification; variable occurrence restrictions
Related Items
Nominal Unification from a Higher-Order Perspective, Simplifying the signature in second-order unification, Farmer's theorem revisited, Logic with equality: Partisan corroboration and shifted pairing, On the undecidability of second-order unification, Decidability of bounded second order unification, Restricted combinatory unification, Tractable and intractable second-order matching problems, Regular Patterns in Second-Order Unification