Lutz Schröder, Dirk Pattinson. Modular Algorithms for Heterogeneous Modal Logics. In Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki, editors, Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings. Volume 4596 of Lecture Notes in Computer Science, pages 459-471, Springer, 2007. [doi]
@inproceedings{SchroderP07,
title = {Modular Algorithms for Heterogeneous Modal Logics},
author = {Lutz Schröder and Dirk Pattinson},
year = {2007},
doi = {10.1007/978-3-540-73420-8_41},
url = {http://dx.doi.org/10.1007/978-3-540-73420-8_41},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/SchroderP07},
cites = {0},
citedby = {0},
pages = {459-471},
booktitle = {Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
editor = {Lars Arge and Christian Cachin and Tomasz Jurdzinski and Andrzej Tarlecki},
volume = {4596},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-73419-2},
}