Afshari, B., & Kloibhofer, J. (2024). Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic.
Style de citation Chicago (17e éd.)Afshari, Bahareh, et Johannes Kloibhofer. Cut Elimination for Cyclic Proofs: A Case Study in Temporal Logic. 2024.
Style de citation MLA (9e éd.)Afshari, Bahareh, et Johannes Kloibhofer. Cut Elimination for Cyclic Proofs: A Case Study in Temporal Logic. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.