Petrolo, Mattia
Documents Indexed: | 12 Publications since 2011, including 1 Additional arXiv Preprint |
Co-Authors: | 7 Co-Authors with 10 Joint Publications |
43 Co-Co-Authors |
all
top 5
Co-Authors
1 | single-authored |
5 | Pistone, Paolo |
4 | Kubyshkina, Ekaterina |
3 | Tranchini, Luca |
1 | Gilbert, David Robert |
1 | Miglioretti, F. |
1 | Naibo, Alberto |
1 | Seiller, Thomas |
1 | Venturi, Giorgio |
all
top 5
Serials
Publications by Year
all
top 5
Cited by 21 Authors
all
top 5
Cited in 7 Serials
3 | Journal of Philosophical Logic |
3 | Studia Logica |
1 | Synthese |
1 | Bulletin of the Section of Logic |
1 | The Bulletin of Symbolic Logic |
1 | Logica Universalis |
1 | Logical Methods in Computer Science |
Cited in 4 Fields
16 | Mathematical logic and foundations (03-XX) |
3 | General and overarching topics; collections (00-XX) |
2 | History and biography (01-XX) |
1 | Computer science (68-XX) |