Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

FroGroSchw14.bib

text/x-bibtex FroGroSchw14.bib — 1 KB

Dateiinhalt

@inproceedings{FroGroSchw14,
  author    = {Andr{\'e} Frochaux and
               Martin Grohe and
               Nicole Schweikardt},
  title     = {Monadic Datalog Containment on Trees},
  year      = {2014},
  ee        = {http://ceur-ws.org/Vol-1189/paper_11.pdf}, 
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
booktitle = {AMW 2014: Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014},
volume = {1189},
editor    = {Georg Gottlob and
               Jorge P{\'e}rez}
}