Das, A., & De, A. (2024). A proof theory of (omega-)context-free languages, via non-wellfounded proofs.
Chicago-Zitierstil (17. Ausg.)Das, Anupam, und Abhishek De. A Proof Theory of (omega-)context-free Languages, via Non-wellfounded Proofs. 2024.
MLA-Zitierstil (9. Ausg.)Das, Anupam, und Abhishek De. A Proof Theory of (omega-)context-free Languages, via Non-wellfounded Proofs. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.