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

2017
978-1-5090-3018-7
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].
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/939708
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 1
social impact