Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Manuel BodirskyManuel Bodirsky,  Simon KnäuerSimon Knäuer,  Sebastian RudolphSebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic


Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
@inproceedings{BKR2021,
  author    = {Manuel Bodirsky and Simon Kn{\"{a}}uer and Sebastian Rudolph},
  title     = {Datalog-Expressibility for Monadic and Guarded Second-Order Logic},
  editor    = {Nikhil Bansal and James Worrell},
  booktitle = {Proceedings of the 48th International Colloquium on Automata,
               Languages, and Programming (ICALP)},
  series    = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2021}
}