Conference
Universal Skolem Sets
| Title: | Universal Skolem Sets |
|---|---|
| Authors: | Luca, Florian, Ouaknine, Joel, Worrell, James |
| Source: | 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2021 36th Annual ACM/IEEE Symposium on. :1-6 Jun, 2021 |
| Relation: | 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| DOI: | 10.1109/LICS52264.2021.9470513 |
| Database: | IEEE Xplore Digital Library |