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, Juha Kontinen, Fabian Müller, Heribert Vollmer, and Fan Yang. “Counting of Teams in First-Order Team Logics.” ACM Transactions on Computational Logic, 2025. https://doi.org/10.1145/3771721.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 54577
Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework.” ACM Transactions on Computational Logic 24, no. 3 (2023): 1–25. https://doi.org/10.1145/3582499.
LibreCat
| DOI