Datalog-Expressibility for Monadic and Guarded Second-Order Logic
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Titel | 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) |
Redakteure/-innen | Nikhil Bansal, Emanuela Merelli, James Worrell |
Herausgeber (Verlag) | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
Seiten | 120:1-120:17 |
Seitenumfang | 17 |
ISBN (Print) | 978-3-95977-195-5 |
Publikationsstatus | Veröffentlicht - 2021 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85106412752 |
---|---|
ORCID | /0000-0001-8228-3611/work/142241053 |