scientific article
From MaRDI portal
Publication:3338213
zbMath0547.03009MaRDI QIDQ3338213
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decision algorithmsterm rewriting systemuniform word problemfinitely presented Abelian groupsuniform identity problem
Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40) Thue and Post systems, etc. (03D03)
Related Items (3)
History and basic features of the critical-pair/completion procedure ⋮ Abelian groups ⋮ Unification in a combination of arbitrary disjoint equational theories
This page was built for publication:
