André Duarte
Orcid: 0000-0002-5228-213XAffiliations:
- University of Manchester, Department of Computer Science, UK
According to our database1,
André Duarte
authored at least 3 papers
between 2020 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
2021
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020