Circumscribing datalog: expressive power and complexity / Cadoli, Marco; Luigi, Palopoli. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 193:(1998), pp. 215-244. [10.1016/S0304-3975(97)00108-4]
File allegati a 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.