Anselm Peter Heinz Haak

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

3 Publications

Mark all

[3]
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
 
[2]
2025 | Preprint | LibreCat-ID: 61065
Haak A, Koopmann P, Mahmood Y, Turhan A-Y. Why not? Developing ABox Abduction beyond Repairs. arXiv:250721955. Published online 2025.
LibreCat | arXiv
 
[1]
2025 | Book Chapter | LibreCat-ID: 60168
Dell H, Haak A, Kallmayer M, Wennmann L. Solving Polynomial Equations Over Finite Fields. In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics; 2025. doi:10.1137/1.9781611978322.90
LibreCat | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed

3 Publications

Mark all

[3]
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
 
[2]
2025 | Preprint | LibreCat-ID: 61065
Haak A, Koopmann P, Mahmood Y, Turhan A-Y. Why not? Developing ABox Abduction beyond Repairs. arXiv:250721955. Published online 2025.
LibreCat | arXiv
 
[1]
2025 | Book Chapter | LibreCat-ID: 60168
Dell H, Haak A, Kallmayer M, Wennmann L. Solving Polynomial Equations Over Finite Fields. In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics; 2025. doi:10.1137/1.9781611978322.90
LibreCat | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed