Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Details

OriginalspracheEnglisch
Titel48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
Redakteure/-innenNikhil Bansal, Emanuela Merelli, James Worrell
Herausgeber (Verlag)Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Seiten120:1-120:17
Seitenumfang17
ISBN (Print)978-3-95977-195-5
PublikationsstatusVeröffentlicht - 2021
Peer-Review-StatusJa

Externe IDs

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

Schlagworte