Browsing by Author Mas Rovira, Jan
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
Jan-2021 | Interpretability logics and generalized Veltman semantics in Agda | Mas Rovira, Jan |
Issue Date | Title | Author(s) |
---|---|---|
Jan-2021 | Interpretability logics and generalized Veltman semantics in Agda | Mas Rovira, Jan |