Linear second-order unification and context unification with tree-regular constraints

DOI10.1007/10721975_11MaRDI QIDQ2723898zbMATH OpenFDO

Authors Jordi Levy, Mateu Villaret

Publication date 8 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10721975_11

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Linear second-order unification
• On the complexity of bounded second-order unification and stratified context unification
• Deciding context unification (with regular constraints)
• Deciding context unification
• Context unification and traversal equations

Cited in

(4)

• Deciding context unification (with regular constraints)
• Decidability of bounded higher-order unification
• scientific article; zbMATH DE number 2090082 (Why is no real title available?)
• Linear second-order unification

This page was built for publication: Linear second-order unification and context unification with tree-regular constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2723898)