Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter 2016

Cyclic Proofs for Linear Temporal Logic

From the book Concepts of Proof in Mathematics, Philosophy, and Computer Science

  • Ioannis Kokkinis and Thomas Studer
© 2016 Walter de Gruyter GmbH, Berlin/Munich/Boston
Downloaded on 28.3.2024 from https://www.degruyter.com/document/doi/10.1515/9781501502620-011/pdf
Scroll to top button