Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries / Bova, Simone; Mogavero, Fabio. - (2017), pp. 1-12. (Intervento presentato al convegno 32nd Annual ACM/IEEE Symposium on Logic in Computer Science) [10.1109/LICS.2017.8005073].
Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries
Mogavero, Fabio
2017
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
bm(lics17).pdf
accesso aperto
Licenza:
Creative commons
Dimensione
412.62 kB
Formato
Adobe PDF
|
412.62 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.