Solvability of context equations with two context variables is decidable

DOI10.1007/3-540-48660-7_5MaRDI QIDQ4263157zbMATH OpenFDO

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

Publication date 22 September 1999

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

Full work available at URL https://doi.org/10.1007/3-540-48660-7_5

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

(6)

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

This page was built for publication: Solvability of context equations with two context variables is decidable

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