The undecidability of simultaneous rigid E-unification
Anatoli Degtyarev, Andrei VoronkovVolume:
166
Year:
1996
Language:
english
Pages:
10
DOI:
10.1016/0304-3975(96)00092-8
File:
PDF, 559 KB
english, 1996