![](/img/cover-not-exists.png)
Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case
Agostino Dovier, Eugenio G. Omodeo, Alberto PolicritiVolume:
9
Language:
english
Pages:
40
Journal:
Applicable Algebra in Engineering, Communication and Computing
DOI:
10.1007/s002000050109
Date:
February, 1999
File:
PDF, 253 KB
english, 1999