MOSAIC | Modalities in Substructural Logics: Theory, Methods and Applications
01-09-2021
-30-04-2026
Show more information
Organisation
USTAV INFORMATIKY AV CR