BibTeX record conf/jelia/BoudouL16

download as .bib file

@inproceedings{DBLP:conf/jelia/BoudouL16,
  author       = {Joseph Boudou and
                  Emiliano Lorini},
  editor       = {Loizos Michael and
                  Antonis C. Kakas},
  title        = {Decidability and Expressivity of Ockhamist Propositional Dynamic Logics},
  booktitle    = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
                  2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10021},
  pages        = {144--158},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48758-8\_10},
  doi          = {10.1007/978-3-319-48758-8\_10},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/BoudouL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}