Modular algorithms for heterogeneous modal logics (0)

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