From Display to Labelled Proofs for Tense Logics

Ciabattoni, Agata; Lyon, Tim; Ramanayake, Revantha

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