Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/aiml/CiabattoniG16
%A Ciabattoni, Agata
%A Genco, Francesco A.
%B Advances in Modal Logic
%D 2016
%E Beklemishev, Lev D.
%E Demri, Stéphane
%E Maté, András
%I College Publications
%K dblp
%P 197-216
%T Embedding formalisms: hypersequents and two-level systems of rule.
%U http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#CiabattoniG16
%@ 978-1-84890-201-5
@inproceedings{conf/aiml/CiabattoniG16,
added-at = {2020-03-12T00:00:00.000+0100},
author = {Ciabattoni, Agata and Genco, Francesco A.},
biburl = {https://www.bibsonomy.org/bibtex/2c1e0773b9d9b879087d79a4af1900891/dblp},
booktitle = {Advances in Modal Logic},
crossref = {conf/aiml/2016},
editor = {Beklemishev, Lev D. and Demri, Stéphane and Maté, András},
ee = {http://www.aiml.net/volumes/volume11/Ciabattoni-Genco.pdf},
interhash = {9aff1dc05172f36ca2d821f90d31e60b},
intrahash = {c1e0773b9d9b879087d79a4af1900891},
isbn = {978-1-84890-201-5},
keywords = {dblp},
pages = {197-216},
publisher = {College Publications},
timestamp = {2024-04-09T20:03:32.000+0200},
title = {Embedding formalisms: hypersequents and two-level systems of rule.},
url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#CiabattoniG16},
year = 2016
}