Sign in

A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms.

Agostino DovierAlberto PolicritiGianfranco Rossi
Published in: Fundam. Informaticae (1998)
Keyphrases