by Agata Ciabattoni, Tim Lyon, Revantha Ramanayake
Reference:
From Display to Labelled Proofs for Tense LogicsAgata Ciabattoni, Tim Lyon, Revantha RamanayakeLogical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Sergei N. Artëmov, Anil Nerode, eds.), volume 10703 of Lecture Notes in Computer Science, pages 120–139, 2018, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/lfcs/CiabattoniLR18,
author = {Agata Ciabattoni and
Tim Lyon and
Revantha Ramanayake},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {From Display to Labelled Proofs for Tense Logics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {120--139},
publisher = {Springer},
year = {2018}
}