Combinatorial proofs and decomposition theorems for first-order logic
| Title: | Combinatorial proofs and decomposition theorems for first-order logic |
|---|---|
| Authors: | Hughes, Dominic J. D.; Straßburger, Lutz; Wu, Jui-Hsuan |
| Source: | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. :1-13 |
| Availability: | http://dl.acm.org/doi/10.1109/LICS52264.2021.9470579 |
| Database: | ACM Full-Text Collection |