Uniform Interpolation in Coalgebraic Modal Logic

Conference contribution


Publication Details

Author(s): Seifan F, Schröder L, Pattinson D
Publication year: 2017
Conference Proceedings Title: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia
Pages range: 21:1--21:16


FAU Authors / FAU Editors

Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Seifan, Fatemeh
Lehrstuhl für Informatik 8 (Theoretische Informatik)


External institutions with authors

Australian National University (ANU)


How to cite

APA:
Seifan, F., Schröder, L., & Pattinson, D. (2017). Uniform Interpolation in Coalgebraic Modal Logic. In 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia (pp. 21:1--21:16).

MLA:
Seifan, Fatemeh, Lutz Schröder, and Dirk Pattinson. "Uniform Interpolation in Coalgebraic Modal Logic." Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia 2017. 21:1--21:16.

BibTeX: 

Last updated on 2018-01-12 at 13:50