BibTeX record conf/aiml/BorgesJ18

download as .bib file

@inproceedings{DBLP:conf/aiml/BorgesJ18,
  author       = {Ana de Almeida Borges and
                  Joost J. Joosten},
  editor       = {Guram Bezhanishvili and
                  Giovanna D'Agostino and
                  George Metcalfe and
                  Thomas Studer},
  title        = {The Worm Calculus},
  booktitle    = {Advances in Modal Logic 12, proceedings of the 12th conference on
                  "Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
                  2018},
  pages        = {13--27},
  publisher    = {College Publications},
  year         = {2018},
  url          = {http://www.aiml.net/volumes/volume12/deAlmeidaBorges-Joosten.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/BorgesJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics