Kokkinis, Ioannis and Studer, Thomas. "Cyclic Proofs for Linear Temporal Logic".
Concepts of Proof in Mathematics, Philosophy, and Computer Science, edited by Dieter Probst and Peter Schuster, Berlin, Boston: De Gruyter, 2016, pp. 171-192.
https://doi.org/10.1515/9781501502620-011
Kokkinis, I. & Studer, T. (2016). Cyclic Proofs for Linear Temporal Logic. In D. Probst & P. Schuster (Ed.),
Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 171-192). Berlin, Boston: De Gruyter.
https://doi.org/10.1515/9781501502620-011
Kokkinis, I. and Studer, T. 2016. Cyclic Proofs for Linear Temporal Logic. In: Probst, D. and Schuster, P. ed.
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter, pp. 171-192.
https://doi.org/10.1515/9781501502620-011
Kokkinis, Ioannis and Studer, Thomas. "Cyclic Proofs for Linear Temporal Logic" In
Concepts of Proof in Mathematics, Philosophy, and Computer Science edited by Dieter Probst and Peter Schuster, 171-192. Berlin, Boston: De Gruyter, 2016.
https://doi.org/10.1515/9781501502620-011
Kokkinis I, Studer T. Cyclic Proofs for Linear Temporal Logic. In: Probst D, Schuster P (ed.)
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter; 2016. p.171-192.
https://doi.org/10.1515/9781501502620-011
Copied to clipboard