J.A. Bergstra
About
J.A. Bergstra has authored 218 papers that have received a total of 2.4k indexed citations.
This includes 167 papers in Computational Theory and Mathematics, 151 papers in Artificial Intelligence and 25 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (115 papers), Formal Methods in Verification (104 papers) and Logic, Reasoning, and Knowledge (51 papers). J.A. Bergstra is often cited by papers focused on Logic, programming, and type systems (115 papers), Formal Methods in Verification (104 papers) and Logic, Reasoning, and Knowledge (51 papers) and collaborates with scholars based in The Netherlands, United Kingdom and Poland. J.A. Bergstra's co-authors include John V. Tucker, J. C. M. Baeten, Jan Willem Klop, C.A. Middelburg and Alban Ponse and has published in prestigious journals such as ACM Computing Surveys, Journal of the ACM and SIAM Journal on Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Mircea Lazar are co-authored with Top countries impacted by papers by O. P. Singh Top authors papers by Yoshimasa Kitagawa are co-authored with Top authors papers by Tetsuo Endoh are co-authored with Top journals papers by Matthias Knobe are published in Top journals papers by Turgay Coşkun are published in Top fields papers by Eman A. Toraih are about Top fields papers by Eugene H. Courtiss are about