Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publication48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
EditorsNikhil Bansal, Emanuela Merelli, James Worrell
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Pages120:1-120:17
Number of pages17
ISBN (print)978-3-95977-195-5
Publication statusPublished - 2021
Peer-reviewedYes

External IDs

Scopus 85106412752
ORCID /0000-0001-8228-3611/work/142241053

Keywords