Gisela Krommes
According to our database1,
Gisela Krommes
authored at least 4 papers
between 2019 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces.
ACM Trans. Comput. Log., 2021
2020
The Complexity of the Product Logics K4xS5 and S4xS5 and of the Logic SSL of Subset Spaces
PhD thesis, 2020
2019
EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness.
CoRR, 2019
EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms.
CoRR, 2019