BibTeX record conf/lenls/Toyooka22

• > Home > conf/lenls/Toyooka22

@inproceedings{DBLP:conf/lenls/Toyooka22,
  author       = {Masanobu Toyooka},
  editor       = {Daisuke Bekki and
                  Koji Mineshima and
                  Eric McCready},
  title        = {A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination
                  of Intuitionistic and Classical Propositional Logic},
  booktitle    = {Logic and Engineering of Natural Language Semantics - 19th International
                  Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14213},
  pages        = {100--119},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-43977-3\_7},
  doi          = {10.1007/978-3-031-43977-3\_7},
  timestamp    = {Mon, 13 Nov 2023 15:27:47 +0100},
  biburl       = {https://dblp.org/rec/conf/lenls/Toyooka22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}