arXiv:cs/0309045v1
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets / Dovier, A; Piazza, C; Rossi, Gianfranco. - (2003).
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ROSSI, Gianfranco
2003-01-01
Abstract
arXiv:cs/0309045v1File 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.
