Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (bibtex)
by Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano
Reference:
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano), In Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Revised Selected Papers (Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter, eds.), Lecture Notes in Computer Science, vol. 7758, Springer, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/tbillc/LitakPS11,
  author    = {Tadeusz Litak and
               Dirk Pattinson and
               Katsuhiko Sano},
  title     = {Coalgebraic Predicate Logic: Equipollence Results and Proof
               Theory},
  booktitle = {TbiLLC},
  editor    = {Guram Bezhanishvili and
               Sebastian L{\"o}bner and
               Vincenzo Marra and
               Frank Richter},
  booktitle     = {Logic, Language, and Computation - 9th International Tbilisi
               Symposium on Logic, Language, and Computation, TbiLLC 2011, Revised Selected
               Papers},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7758},
  year      = {2013},
  isbn      = {978-3-642-36975-9},
  ee        = {http://dx.doi.org/10.1007/978-3-642-36976-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser