Extending Two-Variable Logic on Trees
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) |
| Editors | Valentin Goranko, Mads Dam |
| Place of Publication | Dagstuhl, Germany |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik |
| Pages | 11:1-11:20 |
| Volume | 82 |
| ISBN (print) | 978-3-95977-045-3 |
| Publication status | Published - 2017 |
| Peer-reviewed | Yes |
External IDs
| Scopus | 85028726016 |
|---|