Sara Negri

38 papers and 508 indexed citations i.

About

Sara Negri has authored 38 papers that have received a total of 508 indexed citations. This includes 34 papers in Artificial Intelligence, 28 papers in Computational Theory and Mathematics and 2 papers in Experimental and Cognitive Psychology. The topics of these papers are Logic, Reasoning, and Knowledge (32 papers), Logic, programming, and type systems (26 papers) and Advanced Algebra and Logic (22 papers). Sara Negri is often cited by papers focused on Logic, Reasoning, and Knowledge (32 papers), Logic, programming, and type systems (26 papers) and Advanced Algebra and Logic (22 papers) and collaborates with scholars based in Finland, Italy and United States. Sara Negri's co-authors include Roy Dyckhoff, Jan von Plato, Raul Hakli, Nicola Olivetti and Thierry Coquand and has published in prestigious journals such as Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, Lecture notes in computer science and Synthese

In The Last Decade

Rankless by CCL
2025