scientific article
From MaRDI portal
Publication:3337523
zbMath0546.08003MaRDI QIDQ3337523
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
free algebraword problemrewriting systemsrepresentation functioncomplexity functionset of equationstop-down reduction
Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05) Word problems (aspects of algebraic structures) (08A50)
Related Items (1)
This page was built for publication:
