Claudio Hermida

Secção de Lógica e Computação
Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais, 1049-001, Lisboa, PORTUGAL
Tel. +351 21 8417136 Fax. +351 21 8417598
chermida at math.ist.utl.pt

Publications  |  Teaching


Last update: October 13, 2004.