scientific article
From MaRDI portal
Publication:3838759
zbMath0901.03013MaRDI QIDQ3838759
Publication date: 13 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilitydecidabilitysecond-order unificationsimultaneous rigid E-unificationvariable occurrence restrictions
Related Items
Decidability of bounded second order unification ⋮ Simplifying the signature in second-order unification ⋮ Regular Patterns in Second-Order Unification ⋮ Tractable and intractable second-order matching problems ⋮ Nominal Unification from a Higher-Order Perspective ⋮ Restricted combinatory unification ⋮ Logic with equality: Partisan corroboration and shifted pairing ⋮ On the undecidability of second-order unification ⋮ Farmer's theorem revisited
This page was built for publication: