Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic / GOTTLOB GEORG; MALIZIA E. - STAMPA. - (2014), pp. 43.1-43.10. (Intervento presentato al convegno CSL-LICS '14 tenutosi a Vienna, Austria nel 14/07/2014 - 18/07/2014) [10.1145/2603088.2603103].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.