Modular algorithms for heterogeneous modal logics (0)

by Lutz Schröder, Dirk Pattinson
Venue:In Lars Arge, Christian Cachin, Tomasz Jurdzinski, and Andrzej Tarlecki, editors, ICALP, volume 4596 of Lecture