Automated inference of production rules for glycans

DOI10.1007/978-3-030-85633-5_4zbMath1491.92050arXiv2107.02203MaRDI QIDQ2142104

Ansuman Biswas, Ashutosh Gupta, Mukund Thattai, Meghana Missula

Publication date: 25 May 2022

Full work available at URL: https://arxiv.org/abs/2107.02203

Mathematics Subject Classification ID

92C40: Biochemistry, molecular biology

92-08: Computational methods for problems pertaining to biology

92C42: Systems biology, networks

Uses Software

• z3
• GitHub