Cosimo Perini Brogi
Orcid: 0000-0001-7883-5727Affiliations:
- University of Genoa, Italy
According to our database1,
Cosimo Perini Brogi
authored at least 9 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024
2023
J. Autom. Reason., September, 2023
2022
PhD thesis, 2022
CoRR, 2022
2021
Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics.
CoRR, 2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
2020