![](/img/cover-not-exists.png)
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The Hierarchy of Hyperlogics
Coenen, Norine, Finkbeiner, Bernd, Hahn, Christopher, Hofmann, JanaYear:
2019
Language:
english
DOI:
10.1109/lics.2019.8785713
File:
PDF, 363 KB
english, 2019