Diana Costa
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 11
Publications (10 Years): 11
Publications
- Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
- 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