BibTeX record conf/jsai/Kurokawa13

• > Home > conf/jsai/Kurokawa13

@inproceedings{DBLP:conf/jsai/Kurokawa13,
  author       = {Hidenori Kurokawa},
  editor       = {Yukiko I. Nakano and
                  Ken Satoh and
                  Daisuke Bekki},
  title        = {Hypersequent Calculi for Modal Logics Extending {S4}},
  booktitle    = {New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops,
                  LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28,
                  2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8417},
  pages        = {51--68},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-10061-6\_4},
  doi          = {10.1007/978-3-319-10061-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/jsai/Kurokawa13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}