3 Publications
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
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
Export / Embed
3 Publications
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
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