Marek Zaionc

21 papers and 130 indexed citations i.

Marek Zaionc has authored 21 papers that have received a total of 130 indexed citations. This includes 19 papers in Computational Theory and Mathematics, 13 papers in Artificial Intelligence and 2 papers in Mathematical Physics. The topics of these papers are Advanced Algebra and Logic (15 papers), Logic, Reasoning, and Knowledge (9 papers) and Logic, programming, and type systems (9 papers). Marek Zaionc is often cited by papers focused on Advanced Algebra and Logic (15 papers), Logic, Reasoning, and Knowledge (9 papers) and Logic, programming, and type systems (9 papers) and collaborates with scholars based in Poland, France and United States. Marek Zaionc's co-authors include René David, Guillaume Theyssier, Pierre Lescanne, Jakub Kozik and Danièle Gardy and has published in prestigious journals such as Theoretical Computer Science, Information and Computation and Annals of Pure and Applied Logic.