Cyclic Proofs for Linear Temporal Logic

BORIS DOI
Publisher DOI
Date of Publication
2016-07
Publication Type
Book Section
Subject(s)
Language(s)
en
Contributor(s)
Editor(s)
Probst, Dieter
Schuster, Peter
Additional Credits
Publisher
De Gruyter
ISBN
978-1-5015-0262-0
Book Title
Access(Rights)
open.access
Show full item