scientific article; zbMATH DE number 1341608

MaRDI QIDQ4263157zbMATHFDO

Authors Manfred Schmidt-Schauß, K. U. Schulz

Publication date 22 September 1999

zbMATH Keywords

context unification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Solvability of context equations with two context variables is decidable
• Deciding context unification
• \(\forall \exists^{5}\)-equational theory of context unification is undecidable
• scientific article; zbMATH DE number 1722705

Cited in

(5)

• Deciding context unification
• Solvability of context equations with two context variables is decidable
• Context unification is in PSPACE
• Decidability of bounded second order unification
• scientific article; zbMATH DE number 1722705 (Why is no real title available?)

This page was built for publication:

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