Farmer's theorem revisited

DOI10.1016/S0020-0190(00)00029-6zbMath1014.68075MaRDI QIDQ1607046

Margus Veanes

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

second-order unification

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Grammars and rewriting systems (68Q42)

Cites Work

• Simple second-order languages for which unification is undecidable
• The undecidability of the second-order unification problem
• On the undecidability of second-order unification
• Some Results on the Length of Proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Farmer's theorem revisited