JOSE CARLOS SOARES DO ESPIRITO SANTO
Associate Professor
University of Minho
jes@math.uminho.pt
(+351) 253604362
.
Publications
arXiv | 2022
Journal of Logical and Algebraic Methods in Programming | 2022
Annals of Pure and Applied Logic | 2021
Leibniz International Proceedings in Informatics, LIPIcs | 2021
Logic Journal of the IGPL | 2021
Gilda Ferreira