Tecniche per comporre programmi logici con buone proprieta' computazionali in mod da preservare tali proprieta'.
Composing normal programs with function symbols / Baselice, Sabrina; Bonatti, PIERO ANDREA. - STAMPA. - Lecture Notes in Computer Science 5366:(2008), pp. 425-439.
Composing normal programs with function symbols
BASELICE, SABRINA;BONATTI, PIERO ANDREA
2008
Abstract
Tecniche per comporre programmi logici con buone proprieta' computazionali in mod da preservare tali proprieta'.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.