scientific article; zbMATH DE number 1341608

zbMATH Open0941.68070MaRDI QIDQ4263157FDOQ4263157

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

Publication date: 22 September 1999

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

context unification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (5)

• Deciding context unification
• Title not available (Why is that?)
• Solvability of context equations with two context variables is decidable
• Context unification is in PSPACE
• Decidability of bounded second order unification

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)