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 fields papers by K. Rohlena are about Top countries impacted by papers by Shen Wang Top journals papers by Jens‐Uwe Repke are published in Top countries impacted by papers by F. Ditrói Top journals papers by Ken Kanematsu are published in Top fields papers by Yutaka Asako are about Top fields papers by Pearl A. McElfish are about Top authors papers by Teresa Kowalska are co-authored with