A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms (1998)

Cached

Download Links

by Agostino Dovier , Alberto Policriti , Gianfranco Rossi
Citations:22 - 15 self