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 Jian Yang are about Top journals papers by C. Fontaine are published in Top fields papers by Jae‐Seoun Hur are about Top fields papers by A Flatmark are about Top fields papers by Fujian Zhou are about Top journals papers by Jae‐Young Leem are published in Top fields papers by Min Cheol Lee are about Top fields papers by Xiaoting Rui are about