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 language | English |
---|---|
Title of host publication | 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) |
Editors | Nikhil Bansal, Emanuela Merelli, James Worrell |
Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
Pages | 120:1-120:17 |
Number of pages | 17 |
ISBN (print) | 978-3-95977-195-5 |
Publication status | Published - 2021 |
Peer-reviewed | Yes |
External IDs
Scopus | 85106412752 |
---|---|
ORCID | /0000-0001-8228-3611/work/142241053 |