3 Publications

Mark all

[3]
2025 | Journal Article | LibreCat-ID: 61874
Haak, Anselm, et al. “Counting of Teams in First-Order Team Logics.” ACM Transactions on Computational Logic, 3771721, Association for Computing Machinery (ACM), 2025, doi:10.1145/3771721.
LibreCat | DOI
 
[2]
2025 | Preprint | LibreCat-ID: 61065
Haak, Anselm, et al. “Why Not? Developing ABox Abduction beyond Repairs.” ArXiv:2507.21955, 2025.
LibreCat | arXiv
 
[1]
2025 | Book Chapter | LibreCat-ID: 60168
Dell, Holger, et al. “Solving Polynomial Equations Over Finite Fields.” 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
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

3 Publications

Mark all

[3]
2025 | Journal Article | LibreCat-ID: 61874
Haak, Anselm, et al. “Counting of Teams in First-Order Team Logics.” ACM Transactions on Computational Logic, 3771721, Association for Computing Machinery (ACM), 2025, doi:10.1145/3771721.
LibreCat | DOI
 
[2]
2025 | Preprint | LibreCat-ID: 61065
Haak, Anselm, et al. “Why Not? Developing ABox Abduction beyond Repairs.” ArXiv:2507.21955, 2025.
LibreCat | arXiv
 
[1]
2025 | Book Chapter | LibreCat-ID: 60168
Dell, Holger, et al. “Solving Polynomial Equations Over Finite Fields.” 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
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed