by Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Reference:
Bounded Sequent Calculi for Non-classical Logics via HypersequentsAgata Ciabattoni, Timo Lang, Revantha RamanayakeAutomated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Serenella Cerrito, Andrei Popescu, eds.), volume 11714 of Lecture Notes in Computer Science, pages 94–110, 2019, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/tableaux/CiabattoniLR19,
author = {Agata Ciabattoni and
Timo Lang and
Revantha Ramanayake},
editor = {Serenella Cerrito and
Andrei Popescu},
title = {Bounded Sequent Calculi for Non-classical Logics via Hypersequents},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11714},
pages = {94--110},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29026-9\_6},
doi = {10.1007/978-3-030-29026-9\_6},
timestamp = {Sat, 19 Oct 2019 20:06:19 +0200},
biburl = {https://dblp.org/rec/bib/conf/tableaux/CiabattoniLR19},
bibsource = {dblp computer science bibliography, https://dblp.org}
}