Anselm Peter Heinz Haak

Wissensrepräsentation
anselm.haak@uni-paderborn.de
ID
109969

3 Publications

Mark all

[3]
2025 | Journal Article | LibreCat-ID: 61874
A. Haak, J. Kontinen, F. Müller, H. Vollmer, and F. Yang, “Counting of Teams in First-Order Team Logics,” ACM Transactions on Computational Logic, Art. no. 3771721, 2025, doi: 10.1145/3771721.
LibreCat | DOI
 
[2]
2025 | Preprint | LibreCat-ID: 61065
A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “Why not? Developing ABox Abduction beyond Repairs,” arXiv:2507.21955. 2025.
LibreCat | arXiv
 
[1]
2025 | Book Chapter | LibreCat-ID: 60168
H. Dell, A. Haak, M. Kallmayer, and L. 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.
LibreCat | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

3 Publications

Mark all

[3]
2025 | Journal Article | LibreCat-ID: 61874
A. Haak, J. Kontinen, F. Müller, H. Vollmer, and F. Yang, “Counting of Teams in First-Order Team Logics,” ACM Transactions on Computational Logic, Art. no. 3771721, 2025, doi: 10.1145/3771721.
LibreCat | DOI
 
[2]
2025 | Preprint | LibreCat-ID: 61065
A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “Why not? Developing ABox Abduction beyond Repairs,” arXiv:2507.21955. 2025.
LibreCat | arXiv
 
[1]
2025 | Book Chapter | LibreCat-ID: 60168
H. Dell, A. Haak, M. Kallmayer, and L. 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.
LibreCat | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed