BIBLIOS
Sistema de Gestão de Referências Bibliográficas de Ciências
Modo Visitante (
Login
)
Need help?
Referências para dfdcosta
(14)
2024
Integrating Type Operators into the FreeST Programming Language
(2024)
Paula Lopes
Diana Costa
Vasco T. Vasconcelos
Artigos em Conferência
2024
Polymorphic higher-order context-free session types
(2024)
Diana Costa
Andreia Mordido
Diogo Poças
Vasco T. Vasconcelos
Artigos em Revista
2024
Interfaces avançadas para soluções de gestão arquivística
(2024)
Esteves, Afonso Manuel Gonçalves
Costa, Diana Filipa de Pinho
Oliveira Junior, António Wellington de
Documentos Académicos
2023
4DL: a four-valued dynamic logic and its proof theory
(2023)
Diana Costa
Artigos em Revista
2023
Relation-changing models meet paraconsistency
(2023)
Diana Costa
Daniel Figueiredo
Manuel A. Martins
Artigos em Revista
2023
System $F^\\mu _\\omega$ with Context-free Session Types
(2023)
Diogo Poças
Diana Costa
Andreia Mordido
Vasco T. Vasconcelos
Artigos em Conferência
2022
Higher-order Context-free Session Types in System F
(2022)
Diana Costa
Andreia Mordido
Diogo Poças
Vasco T. Vasconcelos
Artigos em Conferência
2021
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
(2021)
D. Costa
M. A. Martins
Artigos em Revista
2020
A Roadmap of Paraconsistent Hybrid Logics
(2020)
D. Costa
M. A. Martins
Capítulo em Livro
2020
Reasoning over Permissions Regions in Concurrent Separation Logic
(2020)
J. Brotherston
D. Costa
A. Hobor
J. Wickerson
Artigos em Conferência
2020
A Four-Valued Hybrid Logic with Non-dual Modal Operators
(2020)
D. Costa
M. A. Martins
Capítulo em Livro
2019
On Herbrand's Theorem for Hybrid Logic
(2019)
D. Costa
J. Marcos
M. A. Martins
Artigos em Revista
2018
Measuring inconsistent diagnoses
(2018)
Diana Costa
Manuel A. Martins
Artigos em Conferência
2018
Inconsistency Measures in Hybrid Logics
(2018)
D. Costa
M. A. Martins
Capítulo em Livro