A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms / Dovier, A; Policriti, A; Rossi, Gianfranco. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 36(2/3):(1998), pp. 201-234.
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
ROSSI, Gianfranco
1998-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.