Gisela Krommes

According to our database, Gisela Krommes authored at least 3 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces.

Peter Hertling, Gisela Krommes

ACM Trans. Comput. Log., 2021

2019

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness.

Peter Hertling, Gisela Krommes

CoRR, 2019

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms.

Peter Hertling, Gisela Krommes

CoRR, 2019