Publisher
Springer International Publishing
Reference25 articles.
1. Baader, F., Nipkow, T., Franz, B.: Term Rewriting and All That. Cambridge University Press, Cambridge (2006)
2. Lecture Notes in Computer Science;L Bachmair,1993
3. Bernardy, J.-P., Boespflug, M., Newton, R.R., Jones, S.P., Spiwack, A.: Linear haskell: practical linearity in a higher-order polymorphic language. In: Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, pp. 1–29 (2018)
4. Bittig, A.T., Uhrmacher, A.M.: ML-space: hybrid spatial gillespie and particle simulation of multi-level rule-based models in cell biology. IEEE/ACM Trans. Comput. Biol. Bioinf. 14(6), 1339–1349 (2017)
5. Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: Bionetgen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics 20(17), 3289–3291 (2004)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献