3 Publications
2025 | Journal Article | LibreCat-ID: 61874
@article{Haak_Kontinen_Müller_Vollmer_Yang_2025, title={Counting of Teams in First-Order Team Logics}, DOI={10.1145/3771721}, number={3771721}, journal={ACM Transactions on Computational Logic}, publisher={Association for Computing Machinery (ACM)}, author={Haak, Anselm and Kontinen, Juha and Müller, Fabian and Vollmer, Heribert and Yang, Fan}, year={2025} }
LibreCat
| DOI
2025 | Book Chapter | LibreCat-ID: 60168
@inbook{Dell_Haak_Kallmayer_Wennmann_2025, place={Philadelphia, PA}, title={Solving Polynomial Equations Over Finite Fields}, DOI={10.1137/1.9781611978322.90}, booktitle={Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)}, publisher={Society for Industrial and Applied Mathematics}, author={Dell, Holger and Haak, Anselm and Kallmayer, Melvin and Wennmann, Leo}, year={2025} }
LibreCat
| DOI
Search
Filter Publications
Display / Sort
Export / Embed
3 Publications
2025 | Journal Article | LibreCat-ID: 61874
@article{Haak_Kontinen_Müller_Vollmer_Yang_2025, title={Counting of Teams in First-Order Team Logics}, DOI={10.1145/3771721}, number={3771721}, journal={ACM Transactions on Computational Logic}, publisher={Association for Computing Machinery (ACM)}, author={Haak, Anselm and Kontinen, Juha and Müller, Fabian and Vollmer, Heribert and Yang, Fan}, year={2025} }
LibreCat
| DOI
2025 | Book Chapter | LibreCat-ID: 60168
@inbook{Dell_Haak_Kallmayer_Wennmann_2025, place={Philadelphia, PA}, title={Solving Polynomial Equations Over Finite Fields}, DOI={10.1137/1.9781611978322.90}, booktitle={Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)}, publisher={Society for Industrial and Applied Mathematics}, author={Dell, Holger and Haak, Anselm and Kallmayer, Melvin and Wennmann, Leo}, year={2025} }
LibreCat
| DOI