Beckmann, A., & Moser, G. (2024). On Complexity of Confluence and Church-Rosser Proofs. Mathematical Foundations of Computer Science (MFCS), 306, . doi:10.4230/LIPIcs.MFCS.2024.21
Chicago Style CitationBeckmann, Arnold, and Georg Moser. "On Complexity of Confluence and Church-Rosser Proofs." Mathematical Foundations of Computer Science (MFCS) 306 (2024).
MLA CitationBeckmann, Arnold, and Georg Moser. "On Complexity of Confluence and Church-Rosser Proofs." Mathematical Foundations of Computer Science (MFCS) 306 (2024).
Warning: These citations may not always be 100% accurate.