TY - RPRT TI - A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages AU - Da-Jung Cho AU - Szilárd Zsolt Fazekas AU - Shinnosuke Seki AU - Max Wiedenhöft PY - 2025 UR - https://arxiv.org/abs/2504.13354 ID - 2504.13354 ER -