Login / Signup

A polynomial nominal unification algorithm.

Christophe CalvèsMaribel Fernández
Published in: Theor. Comput. Sci. (2008)
Keyphrases