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 |