Bengt Nordström
About
Bengt Nordström has authored 6 papers that have received a total of 59 indexed citations.
This includes 4 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 1 paper in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (3 papers), Formal Methods in Verification (2 papers) and Logic, Reasoning, and Knowledge (2 papers). Bengt Nordström is often cited by papers focused on Logic, programming, and type systems (3 papers), Formal Methods in Verification (2 papers) and Logic, Reasoning, and Knowledge (2 papers) and collaborates with scholars based in Sweden. Bengt Nordström's co-authors include Jan M. Smith, Thierry Coquand, Björn von Sydow, Aarne Ranta and Kent Petersson and has published in prestigious journals such as Lecture notes in computer science, BIT Numerical Mathematics and Software Practice and Experience
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Hadar Ziv are co-authored with Top journals papers by Dominika Bielak are published in Top journals papers by A. Mann are published in Top journals papers by Vjola Jorgji are published in Top countries impacted by papers by Gayatri Reilly Top fields papers by Natalia Vega are about Top countries impacted by papers by José Reinaldo Aguilar-Cano Top journals papers by Vinciane Corman are published in