Cyclic Proofs for Linear Temporal Logic

TitleCyclic Proofs for Linear Temporal Logic
Publication TypeConference Paper
Year of Publication2016
AuthorsKokkinis, I, Studer, T
EditorProbst, D, Schuster, P
Conference NameConcepts of Proof in Mathematics, Philosophy, and Computer Science
PublisherDe Gruyter
ISBN Number978-1-5015-0262-0
URLhttp://www.iam.unibe.ch/ltgpub/2016/ks16.pdf