Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces.

Zhiguang Zhao

Browse the full WoLLIC paper archive.