Diana Costa
0000-0002-8312-429X
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Logic, Reasoning, and Knowledge
(18)
Logic, programming, and type systems
(12)
Advanced Algebra and Logic
(8)
Formal Methods in Verification
(7)
Semantic Web and Ontologies
(7)
Affiliations
University of Lisbon
Escola Superior de Saúde da Cruz Vermelha Portuguesa
Lusíada University of Lisbon
Cruz Vermelha Portuguesa
University College London