Data di Pubblicazione:
2001
Citazione:
On ACTL Formulas Having Linear Counterexamples / Buccafurri, F., Eiter, T., Gottlob, G., Leone, N.. - In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES. - ISSN 0022-0000. - 62:(2001), pp. 463-515.
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Buccafurri, Francesco; Eiter, T.; Gottlob, G.; Leone, N.
Link alla scheda completa:
Pubblicato in: