Vitor Greati
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Hypersequent Calculi Have Ackermann Complexity. | A. R. Balasubramanian, Vitor Greati, Revantha Ramanayake |
| 2025 | TABLEAUX | Analytic Calculi for Logics of Indicative Conditionals. | Vitor Greati, Srgio Marcelino, Miguel Muoz Prez, Umberto Rivieccio |
| 2024 | AiML | Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete. | Vitor Greati, Revantha Ramanayake |
| 2022 | CADE | Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. | Vitor Greati, Joo Marcos |
| 2021 | TABLEAUX | Proof Search on Bilateralist Judgments over Non-deterministic Semantics. | Vitor Greati, Srgio Marcelino, Joo Marcos |