A myeloid leukemia factor homolog involved in encystation-induced protein metabolism in Giardia lamblia
Wu, Jui-Hsuan, Tung, Szu-Yu, Ho, Chun-Che, Su, Li-Hsin, Gan, Soo-Wah, Liao, Jo-Yu, Cho, Chao-Cheng, Lin, Bo-Chi, Chiu, Pei-Wei, Pan, Yu-Jiao, Kao, Yu-Yun, Liu, Yu-Chen, Sun, Chin-Hung
Published in Biochimica et biophysica acta. General subjects (01.06.2021)
Published in Biochimica et biophysica acta. General subjects (01.06.2021)
Get full text
Journal Article
Combinatorial Proofs and Decomposition Theorems for First-order Logic
Hughes, Dominic J. D., Strasburger, Lutz, Wu, Jui-Hsuan
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding