Hajnal Andréka

65 papers and 853 indexed citations i.

Hajnal Andréka has authored 65 papers that have received a total of 853 indexed citations. This includes 48 papers in Computational Theory and Mathematics, 45 papers in Artificial Intelligence and 5 papers in Astronomy and Astrophysics. The topics of these papers are Advanced Algebra and Logic (43 papers), Logic, Reasoning, and Knowledge (42 papers) and Logic, programming, and type systems (22 papers). Hajnal Andréka is often cited by papers focused on Advanced Algebra and Logic (43 papers), Logic, Reasoning, and Knowledge (42 papers) and Logic, programming, and type systems (22 papers) and collaborates with scholars based in Hungary, United States and United Kingdom. Hajnal Andréka's co-authors include István Németi, Steven Givant, Judit X. Madarász, Johan van Benthem and Tarek Sayed Ahmed and has published in prestigious journals such as Classical and Quantum Gravity, Transactions of the American Mathematical Society and Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences