On decidability of equational theories
β
Harvey Friedman
π
Article
π
1976
π
Elsevier Science
π
English
β 266 KB