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
@article{Haak_Kontinen_Müller_Vollmer_Yang_2025, title={Counting of Teams in First-Order Team Logics}, DOI={10.1145/3771721}, number={3771721}, journal={ACM Transactions on Computational Logic}, publisher={Association for Computing Machinery (ACM)}, author={Haak, Anselm and Kontinen, Juha and Müller, Fabian and Vollmer, Heribert and Yang, Fan}, year={2025} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 54577
@article{Mahmood_Meier_Schmidt_2023, title={Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework}, volume={24}, DOI={10.1145/3582499}, number={3}, journal={ACM Transactions on Computational Logic}, publisher={Association for Computing Machinery (ACM)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2023}, pages={1–25} }
LibreCat
| DOI