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 Tetsuo Endoh are co-authored with Top fields papers by Αθανάσιος Αλεξίου are about Top fields papers by S. Takeyama are about Top journals papers by А. Г. Белоус are published in Top journals papers by И. В. Кочетов are published in Top fields papers by Pearl A. McElfish are about Top journals papers by G Biserte are published in Top countries impacted by papers by Štefan Bojnec