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