{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T15:00:41Z","timestamp":1782572441757,"version":"3.54.5"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031757822","type":"print"},{"value":"9783031757839","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T00:00:00Z","timestamp":1731456000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T00:00:00Z","timestamp":1731456000000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-75783-9_16","type":"book-chapter","created":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T06:27:05Z","timestamp":1731392825000},"page":"393-418","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On Categories of\u00a0Nested Conditions"],"prefix":"10.1007","author":[{"given":"Arend","family":"Rensink","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,11,13]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","unstructured":"Azzi, G.G., Corradini, A., Ribeiro, L.: On the essence and initiality of conflicts in m-adhesive transformation systems. J. Log. Algeb. Methods Program. 109, 100482 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2019.100482","DOI":"10.1016\/j.jlamp.2019.100482"},{"key":"16_CR2","unstructured":"Bonchi, F., Di Giorgio, A., Trotta, D.: When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines. arXiv preprint arXiv:2404.18795 (2024)"},{"key":"16_CR3","doi-asserted-by":"publisher","unstructured":"Bonchi, F., Seeber, J., Sobocinski, P.: Graphical conjunctive queries. In: Ghica, D.R., Jung, A. (eds.) 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, 4\u20137 September 2018, Birmingham. LIPIcs, vol. 119, pp. 13:1\u201313:23. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2018). https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2018.13","DOI":"10.4230\/LIPIcs.CSL.2018.13"},{"key":"16_CR4","unstructured":"Bruggink, H.S., Cauderlier, R., H\u00fclsbusch, M., K\u00f6nig, B.: Conditional reactive systems. In: Proceedings of the FSTTCS 2011. LIPIcs, vol.\u00a013. Schloss Dagstuhl \u2013 Leibniz Center for Informatics (2011). http:\/\/drops.dagstuhl.de\/opus\/frontdoor.php?source_opus=3325"},{"key":"16_CR5","doi-asserted-by":"publisher","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Hopcroft, J.E., Friedman, E.P., Harrison, M.A. (eds.) Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 4\u20136 May 1977, Boulder, pp. 77\u201390. ACM (1977). https:\/\/doi.org\/10.1145\/800105.803397","DOI":"10.1145\/800105.803397"},{"key":"16_CR6","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer (2006)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3,4), 287\u2013313 (1996)","DOI":"10.3233\/FI-1996-263404"},{"issue":"2","key":"16_CR8","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"16_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-43916-3","volume-title":"Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering","author":"R Heckel","year":"2020","unstructured":"Heckel, R., Taentzer, G.: Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43916-3"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive and quasiadhesive categories. RAIRO \u2013 Theor. Inform. Appl. 39(3) (2005)","DOI":"10.1051\/ita:2005028"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-09108-2_2","volume-title":"Graph Transformation","author":"L Lambers","year":"2014","unstructured":"Lambers, L., Orejas, F.: Tableau-based reasoning for graph properties. In: Giese, H., K\u00f6nig, B. (eds.) ICGT 2014. LNCS, vol. 8571, pp. 17\u201332. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09108-2_2"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-30203-2_23","volume-title":"Graph Transformations","author":"A Rensink","year":"2004","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 319\u2013335. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30203-2_23"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Rensink, A., Corradini, A.: On categories of nested conditions. arXiv preprint arXiv:2408.06196 (2024)","DOI":"10.1007\/978-3-031-75783-9_16"},{"key":"16_CR14","doi-asserted-by":"publisher","DOI":"10.1515\/9783110226225","volume-title":"The Existential Graphs of Charles S","author":"DD Roberts","year":"1973","unstructured":"Roberts, D.D.: The Existential Graphs of Charles S. Peirce, De Gruyter Mouton (1973)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-662-54494-5_13","volume-title":"Fundamental Approaches to Software Engineering","author":"S Schneider","year":"2017","unstructured":"Schneider, S., Lambers, L., Orejas, F.: Symbolic model generation for graph properties. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 226\u2013243. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_13"},{"key":"16_CR16","unstructured":"Stoltenow, L., K\u00f6nig, B., Schneider, S., Corradini, A., Lambers, L., Orejas, F.:Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. In: CONCUR, vol. 311, pp. 39:1\u201339:20 (2024)"}],"container-title":["Lecture Notes in Computer Science","Principles of Verification: Cycling the Probabilistic Landscape"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75783-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T05:07:09Z","timestamp":1733029629000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75783-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,13]]},"ISBN":["9783031757822","9783031757839"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75783-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,13]]},"assertion":[{"value":"13 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}