A note on a canonical theory with undecidable unification and matching problem
Alexander BockmayrVolume:
3
Language:
english
Pages:
3
DOI:
10.1007/bf00247435
Date:
December, 1987
File:
PDF, 132 KB
english, 1987