Cyclic Proofs for Linear Temporal Logic
Title | Cyclic Proofs for Linear Temporal Logic |
Publication Type | Conference Paper |
Year of Publication | 2016 |
Authors | Kokkinis, I, Studer, T |
Editor | Probst, D, Schuster, P |
Conference Name | Concepts of Proof in Mathematics, Philosophy, and Computer Science |
Publisher | De Gruyter |
ISBN Number | 978-1-5015-0262-0 |
URL | http://www.iam.unibe.ch/ltgpub/2016/ks16.pdf |