Termination Criteria for Datalog with Function Symbols / M. Calautti, C. Molinaro, C. Pulice, I. Trubitsyna - In: 22nd Italian Symposium on Advanced Database Systems / [a cura di] S. Greco, A. Picariello. - [s.l] : Universita Reggio Calabria and Centro di Competenza, 2014. - ISBN 9781634391450. - pp. 248-255 (( Intervento presentato al 22. convegno SEBD tenutosi a Sorrento nel 2014.
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.
