Andrzej Trybulec

8 papers and 84 indexed citations i.

Andrzej Trybulec has authored 8 papers that have received a total of 84 indexed citations. This includes 4 papers in Computational Theory and Mathematics, 2 papers in Artificial Intelligence and 1 paper in Mathematical Physics. The topics of these papers are Logic, Reasoning, and Knowledge (2 papers), Logic, programming, and type systems (2 papers) and Computability, Logic, AI Algorithms (2 papers). Andrzej Trybulec is often cited by papers focused on Logic, Reasoning, and Knowledge (2 papers), Logic, programming, and type systems (2 papers) and Computability, Logic, AI Algorithms (2 papers) and collaborates with scholars based in Poland, Canada and United States. Andrzej Trybulec's co-authors include Grzegorz Bancerek, Piotr Rudnicki, Andrea Asperti, Krystyna Kuperberg and Karol Pąk and has published in prestigious journals such as Lecture notes in computer science, Journal of Automated Reasoning and Journal of Symbolic Computation.