Giovanni Sambin

29 papers and 640 indexed citations i.

About

Giovanni Sambin has authored 29 papers that have received a total of 640 indexed citations. This includes 22 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 5 papers in Mathematical Physics. The topics of these papers are Logic, Reasoning, and Knowledge (18 papers), Logic, programming, and type systems (18 papers) and Advanced Algebra and Logic (14 papers). Giovanni Sambin is often cited by papers focused on Logic, Reasoning, and Knowledge (18 papers), Logic, programming, and type systems (18 papers) and Advanced Algebra and Logic (14 papers) and collaborates with scholars based in Italy, United States and Sweden. Giovanni Sambin's co-authors include Silvio Valentini, Jan M. Smith, George Boolos, Thierry Coquand and Maria Emilia Maietti and has published in prestigious journals such as Theoretical Computer Science, Journal of Symbolic Logic and Journal of Pure and Applied Algebra

In The Last Decade

Rankless by CCL
2025