scientific article

zbMath0901.03013MaRDI QIDQ3838759

Jordi Levy

Publication date: 13 August 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilitydecidabilitysecond-order unificationsimultaneous rigid E-unificationvariable occurrence restrictions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

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