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 Lu Yang are co-authored with Top countries impacted by papers by Jianglin Liu Top journals papers by R. Thomae are published in Top authors papers by I. Krichène are co-authored with Top fields papers by George A. Schultz are about Top authors papers by Zeyu Li are co-authored with Top countries impacted by papers by Larisa Săndulescu Top authors papers by David Poveda are co-authored with