{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:59:53Z","timestamp":1742947193398,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031479625"},{"type":"electronic","value":"9783031479632"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-47963-2_17","type":"book-chapter","created":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T21:41:26Z","timestamp":1700689286000},"page":"276-294","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Categorical Approach to\u00a0Synthetic Chemistry"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7448-7366","authenticated-orcid":false,"given":"Ella","family":"Gale","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0260-0240","authenticated-orcid":false,"given":"Leo","family":"Lobski","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6457-1345","authenticated-orcid":false,"given":"Fabio","family":"Zanasi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,23]]},"reference":[{"unstructured":"AlgebraicJulia. https:\/\/www.algebraicjulia.org\/","key":"17_CR1"},{"issue":"2","key":"17_CR2","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1109\/TCBB.2017.2781724","volume":"16","author":"JL Andersen","year":"2019","unstructured":"Andersen, J.L., Flamm, C., Merkle, D., Stadler, P.F.: Chemical transformation motifs - modelling pathways as integer hyperflows. IEEE\/ACM Trans. Comput. Biol. Bioinform. 16(2), 510\u2013523 (2019)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"issue":"1","key":"17_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1759-2208-4-4","volume":"4","author":"J Andersen","year":"2013","unstructured":"Andersen, J., Flamm, C., Merkle, D., Stadler, P.: Inferring chemical reaction patterns using rule composition in graph grammars. J. Syst. Chem. 4(1), 1\u20134 (2013)","journal-title":"J. Syst. Chem."},{"issue":"2109","key":"17_CR4","doi-asserted-by":"publisher","first-page":"20160354","DOI":"10.1098\/rsta.2016.0354","volume":"375","author":"J Andersen","year":"2017","unstructured":"Andersen, J., Flamm, C., Merkle, D., Stadler, P.: An intermediate level of abstraction for computational systems chemistry. Philos. Trans. R. Soc. A 375(2109), 20160354 (2017)","journal-title":"Philos. Trans. R. Soc. A"},{"issue":"C","key":"17_CR5","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.tcs.2021.07.026","volume":"884","author":"N Behr","year":"2021","unstructured":"Behr, N., Krivine, J., Andersen, J.L., Merkle, D.: Rewriting theory for the life sciences: a unifying theory of CTMC semantics. Theor. Comput. Sci. 884(C), 68\u2013115 (2021)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"3204","DOI":"10.1039\/b409813g","volume":"2","author":"A Bender","year":"2004","unstructured":"Bender, A., Glen, R.C.: Molecular similarity: a key technique in molecular informatics. Org. Biomol. Chem. 2, 3204\u20133218 (2004)","journal-title":"Org. Biomol. Chem."},{"issue":"2","key":"17_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3502719","volume":"69","author":"F Bonchi","year":"2022","unstructured":"Bonchi, F., Gadducci, F., Kissinger, A., Soboci\u0144ski, P., Zanasi, F.: String diagram rewrite theory I: rewriting with frobenius structure. J. ACM 69(2), 1\u201358 (2022)","journal-title":"J. ACM"},{"issue":"4","key":"17_CR8","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1017\/S0960129522000317","volume":"32","author":"F Bonchi","year":"2022","unstructured":"Bonchi, F., Gadducci, F., Kissinger, A., Soboci\u0144ski, P., Zanasi, F.: String diagram rewrite theory II: rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. 32(4), 511\u2013541 (2022)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"7","key":"17_CR9","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1017\/S0960129522000123","volume":"32","author":"F Bonchi","year":"2022","unstructured":"Bonchi, F., Gadducci, F., Kissinger, A., Soboci\u0144ski, P., Zanasi, F.: String diagram rewrite theory III: confluence with and without frobenius. Math. Struct. Comput. Sci. 32(7), 829\u2013869 (2022)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"10","key":"17_CR10","doi-asserted-by":"publisher","first-page":"1612","DOI":"10.1021\/jacsau.1c00246","volume":"1","author":"S Chen","year":"2021","unstructured":"Chen, S., Jung, Y.: Deep retrosynthetic reaction prediction using local reactivity and global attention. JACS Au 1(10), 1612\u20131620 (2021)","journal-title":"JACS Au"},{"doi-asserted-by":"crossref","unstructured":"Clayden, J., Greeves, N., Warren, S.: Organic Chemistry. OUP (2012)","key":"17_CR11","DOI":"10.1093\/hesc\/9780199270293.001.0001"},{"issue":"5","key":"17_CR12","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1021\/acscentsci.7b00064","volume":"3","author":"CW Coley","year":"2017","unstructured":"Coley, C.W., Barzilay, R., Jaakkola, T.S., Green, W.H., Jensen, K.F.: Prediction of organic reaction outcomes using machine learning. ACS Cent. Sci. 3(5), 434\u2013443 (2017)","journal-title":"ACS Cent. Sci."},{"issue":"5","key":"17_CR13","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1021\/acs.accounts.8b00087","volume":"51","author":"CW Coley","year":"2018","unstructured":"Coley, C.W., Green, W.H., Jensen, K.F.: Machine learning in computer-aided synthesis planning. Acc. Chem. Res. 51(5), 1281\u20131289 (2018)","journal-title":"Acc. Chem. Res."},{"issue":"12","key":"17_CR14","doi-asserted-by":"publisher","first-page":"1237","DOI":"10.1021\/acscentsci.7b00355","volume":"3","author":"CW Coley","year":"2017","unstructured":"Coley, C.W., Rogers, L., Green, W.H., Jensen, K.F.: Computer-assisted retrosynthesis based on molecular similarity. ACS Cent. Sci. 3(12), 1237\u20131245 (2017)","journal-title":"ACS Cent. Sci."},{"issue":"11","key":"17_CR15","doi-asserted-by":"publisher","first-page":"1827","DOI":"10.1021\/ed084p1827","volume":"84","author":"AG Cook","year":"2007","unstructured":"Cook, A.G., Feltman, P.M.: Determination of solvent effects on keto-enol equilibria of 1, 3-dicarbonyl compounds using NMR. J. Chem. Educ. 84(11), 1827 (2007)","journal-title":"J. Chem. Educ."},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1039\/CS9881700111","volume":"17","author":"EJ Corey","year":"1988","unstructured":"Corey, E.J.: Robert Robinson lecture. Retrosynthetic thinking - essentials and examples. Chem. Soc. Rev. 17, 111\u2013133 (1988)","journal-title":"Chem. Soc. Rev."},{"key":"17_CR17","volume-title":"The Logic of Chemical Synthesis","author":"EJ Corey","year":"1989","unstructured":"Corey, E.J., Cheng, X.-M.: The Logic of Chemical Synthesis. Wiley, Hoboken (1989)"},{"issue":"1","key":"17_CR18","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theor. Comput. Sci. 325(1), 69\u2013110 (2004)","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Dong, J., Zhao, M., Liu, Y., Su, Y., Zeng, X.: Deep learning in retrosynthesis planning: datasets, models and tools. Brief. Bioinform. 23(1), bbab391 (2022)","key":"17_CR19","DOI":"10.1093\/bib\/bbab391"},{"issue":"6","key":"17_CR20","doi-asserted-by":"publisher","first-page":"516","DOI":"10.2174\/138527210790820276","volume":"14","author":"M Filice","year":"2010","unstructured":"Filice, M., Guisan, J.M., Palomo, J.M.: Recent trends in regioselective protection and deprotection of monosaccharides. Curr. Org. Chem. 14(6), 516\u2013532 (2010)","journal-title":"Curr. Org. Chem."},{"issue":"7","key":"17_CR21","doi-asserted-by":"publisher","first-page":"3398","DOI":"10.1021\/acs.jcim.0c00403","volume":"60","author":"ME Fortunato","year":"2020","unstructured":"Fortunato, M.E., Coley, C.W., Barnes, B.C., Jensen, K.F.: Data augmentation and pretraining for template-based retrosynthetic prediction in computer-aided synthesis planning. J. Chem. Inf. Model. 60(7), 3398\u20133407 (2020)","journal-title":"J. Chem. Inf. Model."},{"issue":"11","key":"17_CR22","doi-asserted-by":"publisher","first-page":"1465","DOI":"10.1021\/acscentsci.8b00357","volume":"4","author":"H Gao","year":"2018","unstructured":"Gao, H., Struble, T.J., Coley, C.W., Wang, Y., Green, W.H., Jensen, K.F.: Using machine learning to predict suitable conditions for organic reactions. ACS Cent. Sci. 4(11), 1465\u20131476 (2018)","journal-title":"ACS Cent. Sci."},{"unstructured":"Kappa language. https:\/\/kappalanguage.org\/","key":"17_CR23"},{"issue":"3","key":"17_CR24","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/3129173.3129182","volume":"4","author":"J Krivine","year":"2017","unstructured":"Krivine, J.: Systems biology. ACM SIGLOG News 4(3), 43\u201361 (2017)","journal-title":"ACM SIGLOG News"},{"issue":"3","key":"17_CR25","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1021\/ci800228y","volume":"49","author":"J Law","year":"2009","unstructured":"Law, J., et al.: Route designer: a retrosynthetic analysis tool utilizing automated retrosynthetic rule generation. J. Chem. Inf. Model. 49(3), 593\u2013602 (2009)","journal-title":"J. Chem. Inf. Model."},{"issue":"12","key":"17_CR26","doi-asserted-by":"publisher","first-page":"3355","DOI":"10.1039\/C9SC03666K","volume":"11","author":"K Lin","year":"2020","unstructured":"Lin, K., Xu, Y., Pei, J., Lai, L.: Automatic retrosynthetic route planning using template-free models. Chem. Sci. 11(12), 3355\u20133364 (2020)","journal-title":"Chem. Sci."},{"doi-asserted-by":"crossref","unstructured":"Lobski, L., Zanasi, F.: String diagrams for layered explanations. In: Master, J., Lewis, M. (eds.) Proceedings Fifth International Conference on Applied Category Theory. EPTCS, vol. 380, pp. 362\u2013382 (2023)","key":"17_CR27","DOI":"10.4204\/EPTCS.380.21"},{"issue":"2","key":"17_CR28","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1021\/ci500698a","volume":"55","author":"G Marcou","year":"2015","unstructured":"Marcou, G., et al.: Expert system for predicting reaction conditions: the Michael reaction case. J. Chem. Inf. Model. 55(2), 239\u2013250 (2015)","journal-title":"J. Chem. Inf. Model."},{"issue":"1","key":"17_CR29","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1021\/acs.jcim.0c01234","volume":"61","author":"MR Maser","year":"2021","unstructured":"Maser, M.R., Cui, A.Y., Ryou, S., DeLano, T.J., Yue, Y.: Multilabel classification models for the prediction of cross-coupling reaction conditions. J. Chem. Inf. Model. 61(1), 156\u2013166 (2021)","journal-title":"J. Chem. Inf. Model."},{"issue":"7","key":"17_CR30","doi-asserted-by":"publisher","first-page":"1402","DOI":"10.1021\/acs.jpca.6b08707","volume":"121","author":"A Matwijczuk","year":"2017","unstructured":"Matwijczuk, A., et al.: Effect of solvent polarizability on the keto\/enol equilibrium of selected bioactive molecules from the 1, 3, 4-thiadiazole group with a 2, 4-hydroxyphenyl function. J. Phys. Chem. A 121(7), 1402\u20131411 (2017)","journal-title":"J. Phys. Chem. A"},{"unstructured":"M\u00d8D. https:\/\/cheminf.imada.sdu.dk\/mod\/","key":"17_CR31"},{"unstructured":"Sobocinski, P., Wilson, P., Zanasi, F.: CARTOGRAPHER: a tool for string diagrammatic reasoning. In: Roggenbach, M., Sokolova, A. (eds.) 8th Conference on Algebra and Coalgebra in Computer Science, pp. 20:1\u201320:7. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2019)","key":"17_CR32"},{"unstructured":"Somnath, V.R., Bunne, C., Coley, C.W., Krause, A., Barzilay, R.: Learning graph models for template-free retrosynthesis. arXiv:2006.07038 (2020)","key":"17_CR33"},{"issue":"17","key":"17_CR34","doi-asserted-by":"publisher","first-page":"6154","DOI":"10.1039\/C9CS00786E","volume":"49","author":"F Strieth-Kalthoff","year":"2020","unstructured":"Strieth-Kalthoff, F., Sandfort, F., Segler, M.H.S., Glorius, F.: Machine learning the ropes: principles, applications and directions in synthetic chemistry. Chem. Soc. Rev. 49(17), 6154\u20136168 (2020)","journal-title":"Chem. Soc. Rev."},{"key":"17_CR35","doi-asserted-by":"publisher","DOI":"10.1016\/j.coche.2021.100721","volume":"35","author":"Y Sun","year":"2022","unstructured":"Sun, Y., Sahinidis, N.V.: Computer-aided retrosynthetic design: fundamentals, tools, and outlook. Curr. Opin. Chem. Eng. 35, 100721 (2022)","journal-title":"Curr. Opin. Chem. Eng."},{"issue":"1","key":"17_CR36","doi-asserted-by":"publisher","first-page":"1186","DOI":"10.1038\/s41467-022-28857-w","volume":"13","author":"UV Ucak","year":"2022","unstructured":"Ucak, U.V., Ashyrmamatov, I., Ko, J., Lee, J.: Retrosynthetic reaction pathway prediction through neural machine translation of atomic environments. Nat. Commun. 13(1), 1186\u20131186 (2022)","journal-title":"Nat. Commun."},{"issue":"9","key":"17_CR37","doi-asserted-by":"publisher","first-page":"3645","DOI":"10.1021\/acs.jcim.9b00313","volume":"59","author":"E Walker","year":"2019","unstructured":"Walker, E., Kammeraad, J., Goetz, J., Robo, M.T., Tewari, A., Zimmerman, P.M.: Learning to predict reaction conditions: relationships between solvent, molecular structure, and catalyst. J. Chem. Inf. Model. 59(9), 3645\u20133654 (2019)","journal-title":"J. Chem. Inf. Model."},{"key":"17_CR38","volume-title":"Designing Organic Syntheses: A Programmed Introduction to the Synthon Approach","author":"S Warren","year":"1991","unstructured":"Warren, S.: Designing Organic Syntheses: A Programmed Introduction to the Synthon Approach. Wiley, Hoboken (1991)"},{"key":"17_CR39","volume-title":"Organic Synthesis: The Disconnection Approach","author":"S Warren","year":"2008","unstructured":"Warren, S., Wyatt, P.: Organic Synthesis: The Disconnection Approach, 2nd edn. Wiley, Hoboken (2008)","edition":"2"},{"issue":"9","key":"17_CR40","doi-asserted-by":"publisher","first-page":"1325","DOI":"10.3390\/biom12091325","volume":"12","author":"C Yan","year":"2022","unstructured":"Yan, C., Zhao, P., Lu, C., Yu, Y., Huang, J.: RetroComposer: composing templates for template-based retrosynthesis prediction. Biomolecules 12(9), 1325 (2022)","journal-title":"Biomolecules"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2023"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47963-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T21:42:50Z","timestamp":1700689370000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47963-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031479625","9783031479632"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47963-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"23 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lima","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Peru","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ictac2023.compsust.utec.edu.pe\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}