Richard Zach
About
Richard Zach has authored 29 papers that have received a total of 252 indexed citations.
This includes 22 papers in Artificial Intelligence, 19 papers in Computational Theory and Mathematics and 6 papers in Theoretical Computer Science. The topics of these papers are Logic, programming, and type systems (18 papers), Logic, Reasoning, and Knowledge (16 papers) and Advanced Algebra and Logic (15 papers). Richard Zach is often cited by papers focused on Logic, programming, and type systems (18 papers), Logic, Reasoning, and Knowledge (16 papers) and Advanced Algebra and Logic (15 papers) and collaborates with scholars based in Canada, Austria and United States. Richard Zach's co-authors include Matthias Baaz, Christian G. Fermüller, Georg Moser, Ian S. Hargreaves and Pietro Mancosu and has published in prestigious journals such as Theoretical Computer Science, Synthese and Journal of Symbolic Logic
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Zhijie Pan Top fields papers by Mustafa Yılmaz are about Top fields papers by A.C. Fahrenholz are about Top authors papers by Arūnas Lipnickas are co-authored with Top authors papers by Hong Nam Nguyen are co-authored with Top fields papers by Giulia Carosi are about Top countries impacted by papers by Wenli Zhao Top journals papers by Mohammed Yusoff are published in