Embedding formalisms: hypersequents and two-level systems of rule (bibtex)
by Agata Ciabattoni, Francesco A. Genco
Reference:
Embedding formalisms: hypersequents and two-level systems of ruleAgata Ciabattoni, Francesco A. GencoAdvances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016 (Lev D. Beklemishev, Stéphane Demri, András Maté, eds.), pages 197–216, 2016, College Publications.
Bibtex Entry:
@inproceedings{DBLP:conf/aiml/CiabattoniG16,
  author    = {Agata Ciabattoni and
               Francesco A. Genco},
  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},
  year      = {2016},
  url       = {http://www.aiml.net/volumes/volume11/Ciabattoni-Genco.pdf},
  editor    = {Lev D. Beklemishev and
               St{\'{e}}phane Demri and
               Andr{\'{a}}s Mat{\'{e}}},
  publisher = {College Publications},
  timestamp = {Tue, 04 Apr 2017 12:44:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiml/CiabattoniG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser