3 Publications

Mark all

[3]
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
 
[2]
2025 | Preprint | LibreCat-ID: 61065
Haak, Anselm, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan. “Why Not? Developing ABox Abduction beyond Repairs.” ArXiv:2507.21955, 2025.
LibreCat | arXiv
 
[1]
2025 | Book Chapter | LibreCat-ID: 60168
Dell, Holger, Anselm Haak, Melvin Kallmayer, and Leo Wennmann. “Solving Polynomial Equations Over Finite Fields.” In Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Philadelphia, PA: Society for Industrial and Applied Mathematics, 2025. https://doi.org/10.1137/1.9781611978322.90.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed

3 Publications

Mark all

[3]
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
 
[2]
2025 | Preprint | LibreCat-ID: 61065
Haak, Anselm, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan. “Why Not? Developing ABox Abduction beyond Repairs.” ArXiv:2507.21955, 2025.
LibreCat | arXiv
 
[1]
2025 | Book Chapter | LibreCat-ID: 60168
Dell, Holger, Anselm Haak, Melvin Kallmayer, and Leo Wennmann. “Solving Polynomial Equations Over Finite Fields.” In Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Philadelphia, PA: Society for Industrial and Applied Mathematics, 2025. https://doi.org/10.1137/1.9781611978322.90.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed