The undecidability of the second order predicate unification problem

DOI10.1007/BF01621471zbMath0725.03002MaRDI QIDQ2277244

Gilles Amiot

Publication date: 1990

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

reductiondecidabilityunificationfunction variablesone-place predicates

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (3)

Tractable and intractable second-order matching problems ⋮ Existential type systems between Church and Curry style (type-free style) ⋮ The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types

Cites Work

• The undecidability of the second-order unification problem
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item

This page was built for publication: The undecidability of the second order predicate unification problem