[Back]


Contributions to Proceedings:

R. Ramanayake, A. Ciabattoni, T. Lyon:
"From Display to Labelled Proofs for Tense Logics";
accepted for publication in: "Proceedings of LFCS 2018.", WordPress.


Created from the Publication Database of the Vienna University of Technology.