Universidad de la República — UY
Computer Science · Physical Sciences
1h-index2citations4works0.72yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(2), Logic, Reasoning, and Knowledge(2), Formal Methods in Verification(1), Semantic Web and Ontologies(1)
Publications4 total
Journal of Logic and Computation·2025Open Access
arXiv (Cornell University)·2025Open Access
Lecture notes in computer science·2024· 2 cited
arXiv (Cornell University)·2023Open Access
Frequent Co-authors
Alejandro Díaz-Caro(4), Octavio Malherbe(4), Gilles Dowek(2)