Karol Pąk
About
Karol Pąk has authored 54 papers that have received a total of 279 indexed citations.
This includes 22 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 13 papers in Geometry and Topology. The topics of these papers are Logic, programming, and type systems (13 papers), Logic, Reasoning, and Knowledge (7 papers) and Matrix Theory and Algorithms (7 papers). Karol Pąk is often cited by papers focused on Logic, programming, and type systems (13 papers), Logic, Reasoning, and Knowledge (7 papers) and Matrix Theory and Algorithms (7 papers) and collaborates with scholars based in Poland, Austria and Czechia. Karol Pąk's co-authors include Cezary Kaliszyk, Artur Korniłowicz, Grzegorz Bancerek, Roman Matuszewski and Adam Grabowski and has published in prestigious journals such as PLoS ONE, Journal of Automated Reasoning and Logical Methods in Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Horst Eidenmüller are co-authored with Top journals papers by L. М. Samokhodskaya are published in Top journals papers by Ramesh Thakur are published in Top fields papers by Mohammad Zarei are about Top countries impacted by papers by A. V. Nemtarev Top authors papers by Dana Shapira are co-authored with Top fields papers by Jiang Liu are about Top fields papers by Susana Ortega Cisneros are about