On Boolean closed full trios and rational Kripke frames

Markus Lohrey, Georg Zetzsche. On Boolean closed full trios and rational Kripke frames. In Ernst W. Mayr, Natacha Portier, editors, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, March 5-8, 2014, Lyon, France. Volume 25 of LIPIcs, pages 530-541, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]

Authors

Markus Lohrey

This author has not been identified. Look up 'Markus Lohrey' in Google

Georg Zetzsche

This author has not been identified. Look up 'Georg Zetzsche' in Google