![](/img/cover-not-exists.png)
On decidability of equational theories
Harvey FriedmanVolume:
7
Year:
1976
Language:
english
Pages:
3
Journal:
Journal of Pure and Applied Algebra
DOI:
10.1016/0022-4049(76)90062-1
File:
PDF, 266 KB
english, 1976