Cut Elimination for Gödel Logic with an Operator Adding a Constant (bibtex)
by Juan P. Aguilera, Matthias Baaz
Reference:
Cut Elimination for Gödel Logic with an Operator Adding a ConstantJuan P. Aguilera, Matthias BaazLogic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz, eds.), volume 9803 of Lecture Notes in Computer Science, pages 36–51, 2016, Springer.
Bibtex Entry:
@string{lncs="Lecture Notes in Computer Science"}
@string{springer="Springer"}
@inproceedings{DBLP:conf/wollic/AguileraB16,
  author    = {Juan P. Aguilera and
               Matthias Baaz},
  editor    = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
               {\AA}sa Hirvonen and
               Ruy J. G. B. de Queiroz},
  title     = {Cut Elimination for G{\"{o}}del Logic with an Operator Adding
               a Constant},
  booktitle = {Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
  series    = LNCS,
  volume    = {9803},
  pages     = {36--51},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-52921-8\_3},
  doi       = {10.1007/978-3-662-52921-8\_3},
}
Powered by bibtexbrowser