Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2025 | Journal Article | LibreCat-ID: 61874
Haak, Anselm, et al. “Counting of Teams in First-Order Team Logics.” ACM Transactions on Computational Logic, 3771721, Association for Computing Machinery (ACM), 2025, doi:10.1145/3771721.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 54577
Mahmood, Yasir, et al. “Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework.” ACM Transactions on Computational Logic, vol. 24, no. 3, Association for Computing Machinery (ACM), 2023, pp. 1–25, doi:10.1145/3582499.
LibreCat
| DOI