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}
}