José Carlos Soares do Espírito Santo
Assistant Professor
University of Minho
jes@math.uminho.pt
(+351) 253604362
.
Publications
Leibniz International Proceedings in Informatics, LIPIcs | 2015
Electronic Proceedings in Theoretical Computer Science, EPTCS | 2014
Electronic Proceedings in Theoretical Computer Science, EPTCS | 2013
Mathematical Structures in Computer Science | 2013
Annals of Pure and Applied Logic | 2013