Modular Algorithms for Heterogeneous Modal Logics

@inproceedings{pub3917,
    author = {

Schröder, Lutz
 and 

Pattinson, Dirk
},
    editor = {

Arge, Lars
 and 

Tarlecki, Andrzej
 and 

Cachin, Christian
},
    title = {Modular Algorithms for Heterogeneous Modal Logics},
    booktitle = {Automata, Languages and Programming. International Colloquium on Automata, Languages and Programming (ICALP-07), colocated with the 22nd Annual IEEE Symposium on Logic In Computer Science (LICS 2007), Logic Colloquium 2007 (LC07), and the 9th International Symposium on Principles and Practice of Declarative Programming (PPDP 2007), July 9-13, Wroclaw/Breslau, Poland},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2007},
    volume = {4596},
    pages = {459--471},
    organization = {European Association for Theoretical Computer Science EATCS},
    publisher = {Springer}
}