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. (2025). Counting of Teams in First-Order Team Logics. ACM Transactions on Computational Logic, Article 3771721. https://doi.org/10.1145/3771721
LibreCat | DOI
 
[2]
2025 | Preprint | LibreCat-ID: 61065
Haak, A., Koopmann, P., Mahmood, Y., & Turhan, A.-Y. (2025). Why not? Developing ABox Abduction beyond Repairs. In arXiv:2507.21955.
LibreCat | arXiv
 
[1]
2025 | Book Chapter | LibreCat-ID: 60168
Dell, H., Haak, A., Kallmayer, M., & Wennmann, L. (2025). 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. https://doi.org/10.1137/1.9781611978322.90
LibreCat | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

3 Publications

Mark all

[3]
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
 
[2]
2025 | Preprint | LibreCat-ID: 61065
Haak, A., Koopmann, P., Mahmood, Y., & Turhan, A.-Y. (2025). Why not? Developing ABox Abduction beyond Repairs. In arXiv:2507.21955.
LibreCat | arXiv
 
[1]
2025 | Book Chapter | LibreCat-ID: 60168
Dell, H., Haak, A., Kallmayer, M., & Wennmann, L. (2025). 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. https://doi.org/10.1137/1.9781611978322.90
LibreCat | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed