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. (2025). Counting of Teams in First-Order Team Logics. ACM Transactions on Computational Logic, Article 3771721. https://doi.org/10.1145/3771721
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 54577
Mahmood, Y., Meier, A., & Schmidt, J. (2023). Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework. ACM Transactions on Computational Logic, 24(3), 1–25. https://doi.org/10.1145/3582499
LibreCat
| DOI