scientific article; zbMATH DE number 1405620

zbMATH Open0939.03013MaRDI QIDQ4938599FDOQ4938599

Jerzy Marcinkowski

Publication date: 23 February 2000

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

zbMATH Keywords

commutativitydecidabilityundecidabilityassociativityequational theoryground term algebra

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Decidability of theories and sets of sentences (03B25)

Cited In (2)

• \(\forall \exists^{5}\)-equational theory of context unification is undecidable
• The \(\exists^*\forall^*\) part of the theory of ground term algebra modulo an AC symbol is undecidable.

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 Q4938599)