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 authors papers by F. Mora are co-authored with Top fields papers by Shashi Kant Dhir are about Top fields papers by G. Bosson are about Top journals papers by Uttam Chand Saini are published in Top fields papers by Ghadir Fakhri Al-Jayyousi are about Top fields papers by L. R. Grisham are about Top countries impacted by papers by Chiara Manfletti