Publications
Publicações

Publications

Milena Mangueira

Renata Vieira

Alves Alves

Roger Sousa

8th International Conference on Formal Structures for Computation and Deduction | 2023
XXVI congresso SPE2023 | 2023

C. Almeida

C.. Corresponding author: Castro

16th Marcel Grossmann Meeting on Recent Developments in Theoretical and Experimental General Relativity, Astrophysics and Relativistic Field Theories | 2023

Jose Natario

N.O. Santos

Phys.Rev.D | 2023

José Natário

Francisco Frutos-Alfaro

Michael Soffel