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
A. Haak, J. Kontinen, F. Müller, H. Vollmer, and F. Yang, “Counting of Teams in First-Order Team Logics,” ACM Transactions on Computational Logic, Art. no. 3771721, 2025, doi: 10.1145/3771721.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 54577
Y. Mahmood, A. Meier, and J. Schmidt, “Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework,” ACM Transactions on Computational Logic, vol. 24, no. 3, pp. 1–25, 2023, doi: 10.1145/3582499.
LibreCat
| DOI