Solvability of equivalence problems in a system of algorithmic algebras

DOI10.1007/BF01068762zbMath0577.68049MaRDI QIDQ3698304

P. M. Ivanov

Publication date: 1983

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

algorithmidentity of expressionsreversible elementary operators

Mathematics Subject Classification ID

Algorithms in computer science (68W99)

Cites Work

• Unnamed Item

This page was built for publication: Solvability of equivalence problems in a system of algorithmic algebras