Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard?
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 |
| Publisher | Vorlage:IEEE |
| Pages | 1-13 |
| Number of pages | 13 |
| ISBN (print) | 978-1-7281-3608-0 |
| Publication status | Published - 2019 |
| Peer-reviewed | Yes |
External IDs
| Scopus | 85070745829 |
|---|