First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation (bibtex)
by Matthias Baaz, Anela Lolic
Reference:
First-Order Interpolation of Non-classical Logics Derived from Propositional InterpolationMatthias Baaz, Anela LolicFrontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (Clare Dixon, Marcelo Finger, eds.), volume 10483 of Lecture Notes in Computer Science, pages 265–280, 2017, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/frocos/BaazL17,
  author    = {Matthias Baaz and
               Anela Lolic},
  editor    = {Clare Dixon and
               Marcelo Finger},
  title     = {First-Order Interpolation of Non-classical Logics Derived from Propositional
               Interpolation},
  booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
               2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10483},
  pages     = {265--280},
  publisher = {Springer},
  year      = {2017},
  doi       = {10.1007/978-3-319-66167-4_15}
}
Powered by bibtexbrowser