Alexander Kurz

59 papers and 564 indexed citations i.

Alexander Kurz has authored 59 papers that have received a total of 564 indexed citations. This includes 54 papers in Artificial Intelligence, 37 papers in Computational Theory and Mathematics and 16 papers in Mathematical Physics. The topics of these papers are Logic, programming, and type systems (50 papers), Logic, Reasoning, and Knowledge (42 papers) and Advanced Algebra and Logic (24 papers). Alexander Kurz is often cited by papers focused on Logic, programming, and type systems (50 papers), Logic, Reasoning, and Knowledge (42 papers) and Advanced Algebra and Logic (24 papers) and collaborates with scholars based in United Kingdom, The Netherlands and Germany. Alexander Kurz's co-authors include Jiřı́ Velebil, Yde Venema, Dirk Pattinson, Alessandra Palmigiano and Jir̆ı́ Rosický and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and The Computer Journal.