scientific article; zbMATH DE number 1405620

MaRDI QIDQ4938599zbMATH OpenFDO

Authors Jerzy Marcinkowski

Publication date 23 February 2000

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)

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