Ricardo Oscar Rodriguez
Ricardo Oscar Rodriguez
Affiliation: Departamento de Ciencias de la Computación, UBA
Talks
(IMLA)
KE-style tableaux for a family of intuitionistic modal logics · Contributed Talks C8
Pages in this Program
Program
Program on Saturday, 25 July 2026
IMLA on Saturday, 25 July 2026
IMLA Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑