Diana Costa

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Context Free Languages

Modal Operators

Top Venues

J. Log. Comput.

Publications

Diana Costa
4DL: a four-valued dynamic logic and its proof theory. J. Log. Comput. 33 (6) (2023)
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
with Context-free Session Types. CoRR (2023)
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
Higher-order Context-free Session Types in System F. PLACES@ETAPS (2022)
Diana Costa
4DL: a four-valued Dynamic logic and its proof-theory. CoRR (2022)
Diana Costa, André S. Santos, João A. Bastos, Ana Maria Madureira, Marlene F. Brito
A Tool for Air Cargo Planning and Distribution. IBICA (2021)
Diana Costa, Carlos Pereira, Hugo Peixoto, José Machado
Anticipating Maintenance in Telecom Installation Processes. IDEAL (2) (2020)