Estimação de erro a posteriori para o método multiscale hybrid mixed MHM-H(div)
Ecumenismo Modal via RNmatrizes: Teoria, Implementação e Verificação
Lógica da inconsistência formal com substituição: Um estudo algébrico e de teoria ...
Análises numéricas aplicadas à proteção e à conservação do patrimônio cultural: um...
Uma nova concepção de lógica abstrata como base para teoria da definibilidade