Karol Pąk

54 papers and 279 indexed citations i.

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