Compiling dyadic first-order specifications into map algebra / Cantone, D; Formisano, A; Omodeo, Eugenio; Zarba, C.. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 293(2):(2003), pp. 447-475.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


