Bas Spitters

43 papers and 320 indexed citations i.

About

Bas Spitters has authored 43 papers that have received a total of 320 indexed citations. This includes 19 papers in Artificial Intelligence, 18 papers in Computational Theory and Mathematics and 18 papers in Mathematical Physics. The topics of these papers are Logic, programming, and type systems (12 papers), Advanced Operator Algebra Research (10 papers) and Advanced Topics in Algebra (9 papers). Bas Spitters is often cited by papers focused on Logic, programming, and type systems (12 papers), Advanced Operator Algebra Research (10 papers) and Advanced Topics in Algebra (9 papers) and collaborates with scholars based in The Netherlands, Denmark and Sweden. Bas Spitters's co-authors include Chris Heunen, Nicolaas P. Landsman, Lars Birkedal, Thierry Coquand and Herman Geuvers and has published in prestigious journals such as Communications in Mathematical Physics, Theoretical Computer Science and Mathematical Proceedings of the Cambridge Philosophical Society

In The Last Decade

Rankless by CCL
2025