BibTeX record conf/aiml/CiabattoniG16

download as .bib file

@inproceedings{DBLP:conf/aiml/CiabattoniG16,
  author       = {Agata Ciabattoni and
                  Francesco A. Genco},
  editor       = {Lev D. Beklemishev and
                  St{\'{e}}phane Demri and
                  Andr{\'{a}}s Mat{\'{e}}},
  title        = {Embedding formalisms: hypersequents and two-level systems of rule},
  booktitle    = {Advances in Modal Logic 11, proceedings of the 11th conference on
                  "Advances in Modal Logic," held in Budapest, Hungary, August 30 -
                  September 2, 2016},
  pages        = {197--216},
  publisher    = {College Publications},
  year         = {2016},
  url          = {http://www.aiml.net/volumes/volume11/Ciabattoni-Genco.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/CiabattoniG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics