A tribute to José Manuel Valença.

Nuno Ernesto Salgado Oliveira Jorge Sousa Pinto Luís Soares Barbosa Pedro Rangel Henriques

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases