Diana Costa
ORCIDPublication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 10
Publications (10 Years): 10
Publications
- Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
- Diana Costa, Manuel A. Martins, João MarcosOn Herbrand's Theorem for Hybrid Logic. FLAP 6 (2) (2019)
- Diana Costa, Manuel A. Martins
- Diana Costa, Manuel A. Martins
- Diana Costa, Manuel A. Martins
- Diana Costa, Manuel A. Martins
- Diana Costa, Manuel A. Martins
- Diana Costa, Manuel A. Martins