Extending Two-Variable Logic on Trees

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Titel26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Redakteure/-innenValentin Goranko, Mads Dam
ErscheinungsortDagstuhl, Germany
Herausgeber (Verlag)Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Seiten11:1-11:20
Band82
ISBN (Print)978-3-95977-045-3
PublikationsstatusVeröffentlicht - 2017
Peer-Review-StatusJa

Externe IDs

Scopus 85028726016