Login / Signup

Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case.

Agostino DovierEugenio G. OmodeoAlberto Policriti
Published in: Appl. Algebra Eng. Commun. Comput. (1999)
Keyphrases