Amanote Research
Register
Sign In
Cyclic Proofs for Linear Temporal Logic
doi 10.1515/9781501502620-011
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Ioannis Kokkinis
Thomas Studer
Publisher
De Gruyter