Complexity of Nilpotent Unification and Matching Problems
Qing Guo, Paliath Narendran, D.A. WolframVolume:
162
Year:
2000
Language:
english
Pages:
21
DOI:
10.1006/inco.1999.2849
File:
PDF, 214 KB
english, 2000