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 countries impacted by papers by Makoto Yamamoto Top countries impacted by papers by X. Z. Cai Top journals papers by He Wen are published in Top journals papers by Chung‐Hsien Wu are published in Top journals papers by Zhixiang Zhang are published in Top countries impacted by papers by Zaichen Zhang Top journals papers by H. Ōkubo are published in Top fields papers by P. Paturi are about