V. Rodrigues Greati, MSc

Rodrigues Greati, V., Marcelino, S., Pérez, M. M. & Rivieccio, U., 2026, Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings. Pozzato, G. L. & Uustalu, T. (reds.). Springer, blz. 59-81 23 blz. (Lecture Notes in Computer Science; vol. 15980).

Onderzoeksoutput › › peer review

Greati, V., Marcelino, S. & Rivieccio, U., 1-mei-2025, International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems: 20th International Conference, IPMU 2024, Lisbon, Portugal, July 22-26, 2024, Proceedings, Volume 2. Lesot, M.-J., Vieira, S., Reformat, M. Z., Carvalho, J. P., Batista, F., Bouchon-Meunier, B. & Yager, R. R. (reds.). Springer, blz. 390-405 16 blz. (Lecture Notes in Networks and Systems ; vol. 1175).

Onderzoeksoutput › › peer review

Rodrigues Greati, V. & Ramanayake, R., 6-dec-2025, In: Theoretical Computer Science. 1057, 23 blz., 115546.

Onderzoeksoutput › › peer review

Rodrigues Greati, V., Marcelino, S., Marcos, J. & Rivieccio, U., 2-okt-2024, In: Mathematical structures in computer science. blz. 1-46 46 blz.

Onderzoeksoutput › › peer review

Rodrigues Greati, V. & Ramanayake, R., 21-okt-2024, (E-pub ahead of print) Proceedings of Advances in Modal Logic (AiML 2024). College Publications, blz. 401-422 21 blz.

Onderzoeksoutput › › peer review

Greati, V., Marcelino, S. & Rivieccio, U., dec-2024, In: Studia Logica. 112, blz. 1215-1241 27 blz.

Onderzoeksoutput › › peer review