![](/img/cover-not-exists.png)
Partial completion of equational theories
Yongqiang Sun, Kai Lin, Chaojun LuVolume:
15
Language:
english
Pages:
8
DOI:
10.1007/bf02948837
Date:
November, 2000
File:
PDF, 447 KB
english, 2000