Paweł Urzyczyn

35 papers and 219 indexed citations i.

Paweł Urzyczyn has authored 35 papers that have received a total of 219 indexed citations. This includes 31 papers in Artificial Intelligence, 26 papers in Computational Theory and Mathematics and 3 papers in Geometry and Topology. The topics of these papers are Logic, Reasoning, and Knowledge (24 papers), Logic, programming, and type systems (24 papers) and Computability, Logic, AI Algorithms (11 papers). Paweł Urzyczyn is often cited by papers focused on Logic, Reasoning, and Knowledge (24 papers), Logic, programming, and type systems (24 papers) and Computability, Logic, AI Algorithms (11 papers) and collaborates with scholars based in Poland, United States and Italy. Paweł Urzyczyn's co-authors include Jerzy Tiuryn, A. J. Kfoury, Morten Heine Sørensen, Boris Düdder and Jakob Rehof and has published in prestigious journals such as Journal of the ACM, Journal of Computer and System Sciences and Theoretical Computer Science