Uniform Interpolation in Coalgebraic Modal Logic (bibtex)
by Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
Reference:
Uniform Interpolation in Coalgebraic Modal Logic (Fatemeh Seifan, Lutz Schröder, Dirk Pattinson), In Proc. 7th Conference on Algebra and Coalgebra in Computer Science, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [preprint]
Bibtex Entry:
@inproceedings{SeifanEA17,
  author = {Fatemeh Seifan and Lutz Schr{\"o}der  and Dirk Pattinson},
  title = {Uniform Interpolation in Coalgebraic Modal Logic},
  booktitle = {Proc.~7th Conference on Algebra and Coalgebra in Computer Science},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year = {2017},
  comment = {<a href="https://www8.cs.fau.de/_media/research:papers:pullbacks-full.pdf">[preprint]</a>},
}
Powered by bibtexbrowser