{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:42:34Z","timestamp":1742920954396,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333132"},{"type":"electronic","value":"9783642333149"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33314-9_6","type":"book-chapter","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T00:05:18Z","timestamp":1347408318000},"page":"82-97","source":"Crossref","is-referenced-by-count":1,"title":["Towards Certifiable Implementation of Graph Transformation via Relation Categories"],"prefix":"10.1007","author":[{"given":"Wolfram","family":"Kahl","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Berghammer, R.: A Functional, Successor List Based Version of Warshall\u2019s Algorithm with Applications. In: [ds11], pp. 109\u2013124","DOI":"10.1007\/978-3-642-21070-9_10"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2168\/LMCS-8(1:16)2012","volume":"8","author":"T. Braibant","year":"2012","unstructured":"Braibant, T., Pous, D.: Deciding Kleene Algebras in Coq. Logical Methods in Computer Science\u00a08, 16 (2012)","journal-title":"Logical Methods in Computer Science"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1142\/9789812384720_0003","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation. Foundations","author":"A. Corradini","year":"1997","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01, ch. 3, pp. 163\u2013245. World Scientific, Singapore (1997)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Relational and Algebraic Methods in Computer Science","year":"2011","unstructured":"de Swart, H. (ed.): RAMICS 2011. LNCS, vol.\u00a06663. Springer, Heidelberg (2011)"},{"key":"6_CR5","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2006)"},{"key":"6_CR6","first-page":"1","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Padberg, J., Prange, U., Habel, A.: Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fund. Inform.\u00a074, 1\u201329 (2006)","journal-title":"Fund. Inform."},{"key":"6_CR7","volume-title":"Categories, Allegories, North-Holland Mathematical Library","author":"P.J. Freyd","year":"1990","unstructured":"Freyd, P.J., Scedrov, A.: Categories, Allegories, North-Holland Mathematical Library, vol.\u00a039. North-Holland, Amsterdam (1990)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.jlap.2007.10.008","volume":"76","author":"W. Kahl","year":"2008","unstructured":"Kahl, W.: Relational Semigroupoids: Abstract Relation-Algebraic Interfaces for Finite Relations between Infinite Types. J. Logic and Algebraic Programming\u00a076, 60\u201389 (2008)","journal-title":"J. Logic and Algebraic Programming"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.jlap.2011.04.006","volume":"80","author":"W. Kahl","year":"2011","unstructured":"Kahl, W.: Collagories: Relation-Algebraic Reasoning for Gluing Constructions. J. Logic and Algebraic Programming\u00a080, 297\u2013338 (2011)","journal-title":"J. Logic and Algebraic Programming"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Kahl, W.: Dependently-Typed Formalisation of Relation-Algebraic Abstractions. In: [ds11], pp. 230\u2013247","DOI":"10.1007\/978-3-642-21070-9_18"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(90)90171-D","volume":"77","author":"Y. Kawahara","year":"1990","unstructured":"Kawahara, Y.: Pushout-Complements and Basic Concepts of Grammars in Toposes. Theoretical Computer Science\u00a077, 267\u2013289 (1990)","journal-title":"Theoretical Computer Science"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D. Kozen","year":"1994","unstructured":"Kozen, D.: A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events. Inform. and Comput.\u00a0110, 366\u2013390 (1994)","journal-title":"Inform. and Comput."},{"key":"6_CR13","unstructured":"Kozen, D.: Typed Kleene Algebra. Technical Report 98-1669, Computer Science Department, Cornell University (1998)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1017\/S0956796809007345","volume":"19","author":"S.-C. Mu","year":"2009","unstructured":"Mu, S.-C., Ko, H.-S., Jansson, P.: Algebra of Programming in Agda: Dependent Types for Relational Program Derivation. J. Functional Programming\u00a019, 545\u2013579 (2009) See also AoPA at, \n                    \n                      http:\/\/www.iis.sinica.edu.tw\/~scm\/2008\/aopa\/","journal-title":"J. Functional Programming"},{"key":"6_CR15","unstructured":"Norell, U.: Towards a Practical Programming Language Based on Dependent Type Theory. PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology (2007)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33314-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:05:49Z","timestamp":1558299949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33314-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333132","9783642333149"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33314-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}