José Carlos Soares do Espírito Santo
Associate Professor
University of Minho
jes@math.uminho.pt
(+351) 253604362
.
Publications
Electronic Proceedings in Theoretical Computer Science, EPTCS | 2013
Mathematical Structures in Computer Science | 2013
Annals of Pure and Applied Logic | 2013
Fundamenta Informaticae | 2012
ACM Transactions on Computational Logic | 2011