Hansson, Sven OveFermé, Eduardo2017-02-232017-02-232003http://hdl.handle.net/10400.13/1381porMatemáticaLógicaCiência da computação.Realizado no estrangeiro com equivalência, atribuida por um estabelecimento de ensino superior português, a um doutoramento realizado em Portugaldoctoral thesis101111169