{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:17:16Z","timestamp":1725560236540},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642145995"},{"type":"electronic","value":"9783642146008"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-14600-8_11","type":"book-chapter","created":{"date-parts":[[2010,7,26]],"date-time":"2010-07-26T14:51:07Z","timestamp":1280155867000},"page":"84-98","source":"Crossref","is-referenced-by-count":3,"title":["A Calculus for Graphs with Complement"],"prefix":"10.1007","author":[{"given":"Renata","family":"de Freitas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo A. S.","family":"Veloso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila R. M.","family":"Veloso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petrucio","family":"Viana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/BF01225472","volume":"33","author":"H. Andr\u00e9ka","year":"1995","unstructured":"Andr\u00e9ka, H., Bredikhin, D.A.: The equational theory of union-free algebras of relations. Algebra Universalis\u00a033, 516\u2013532 (1995)","journal-title":"Algebra Universalis"},{"key":"11_CR2","first-page":"372","volume":"94","author":"C. Brown","year":"1994","unstructured":"Brown, C., Hutton, G.: Categories, allegories and circuit design. LICS\u00a094, 372\u2013381 (1994)","journal-title":"LICS"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Brown, C., Jeffrey, A.: Allegories of circuits. In: Proc. Logical Foundations of Computer Science, pp. 56\u201368. St. Petersburg (1994)","DOI":"10.1007\/3-540-58140-5_7"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s000120050045","volume":"38","author":"D.A. Bredikhin","year":"1997","unstructured":"Bredikhin, D.A.: On clones generated by primitive-positive operations of Tarskis relation algebras. Algebra Universalis\u00a038, 165\u2013174 (1997)","journal-title":"Algebra Universalis"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0304-3975(01)00355-3","volume":"293","author":"D. Cantone","year":"2003","unstructured":"Cantone, D., Formisano, A., Omodeo, E.G., Zarba, C.G.: Compiling dyadic specifications into map algebra. Theoret. Comput. Sci.\u00a0293, 447\u2013475 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0167-6423(95)00025-9","volume":"26","author":"S. Curtis","year":"1996","unstructured":"Curtis, S., Lowe, G.: Proofs with graphs. Sci. Comput. Programming\u00a026, 197\u2013216 (1996)","journal-title":"Sci. Comput. Programming"},{"key":"11_CR7","first-page":"1","volume":"44","author":"A. Formisano","year":"2003","unstructured":"Formisano, A., Omodeo, E.G., Simeoni, M.: A graphical approach to relational reasoning. ENTCS\u00a044, 1\u201322 (2003)","journal-title":"ENTCS"},{"key":"11_CR8","volume-title":"Categories, Allegories","author":"P.J. Freyd","year":"1990","unstructured":"Freyd, P.J., Scedrov, A.: Categories, Allegories. Elsevier, Amsterdam (1990)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.scico.2008.08.002","volume":"73","author":"R. Freitas de","year":"2008","unstructured":"de Freitas, R., Viana, P.: A note on proofs with graphs. Sci. Comput. Programming\u00a073, 129\u2013135 (2008)","journal-title":"Sci. Comput. Programming"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1093\/jigpal\/jzm054","volume":"15","author":"R. Freitas de","year":"2007","unstructured":"de Freitas, R., Veloso, P.A.S., Veloso, S.R.M., Viana, P.: On positive relational calculi. Logic J. IGPL\u00a015, 577\u2013601 (2007)","journal-title":"Logic J. IGPL"},{"key":"11_CR11","series-title":"Lecture Notes in Artificial Intelligence","first-page":"298","volume-title":"WoLLIC 2008","author":"R. Freitas de","year":"2008","unstructured":"de Freitas, R., Veloso, P.A.S., Veloso, S.R.M., Viana, P.: On a graph calculus for algebras of relations. In: Hodges, W., de Queiroz, R. (eds.) WoLLIC 2008. LNCS (LNAI), vol.\u00a05110, pp. 298\u2013312. Springer, Heidelberg (2008)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-92687-0_11","volume-title":"Logical Foundations of Computer Science","author":"R. Freitas de","year":"2008","unstructured":"de Freitas, R., Veloso, P.A.S., Veloso, S.R.M., Viana, P.: Positive fork graph calculus. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol.\u00a05407, pp. 152\u2013163. Springer, Heidelberg (2008)"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"1000","DOI":"10.1016\/j.ic.2008.11.004","volume":"207","author":"R. Freitas de","year":"2009","unstructured":"de Freitas, R., Veloso, P.A.S., Veloso, S.R.M., Viana, P.: On graph reasoning. Information and Computation\u00a0207, 1000\u20131014 (2009)","journal-title":"Information and Computation"},{"key":"11_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1979","unstructured":"Gr\u00e4tzer, G.: Universal Algebra. Springer, New York (1979)"},{"key":"11_CR15","volume-title":"Relation Algebras by Games","author":"R. Hirsch","year":"2002","unstructured":"Hirsch, R., Hodkinson, I.: Relation Algebras by Games. Elsevier, Amsterdam (2002)"},{"key":"11_CR16","unstructured":"Hutton, G.: A relational derivation of a functional program. In: Lecture Notes of the STOP Summer School on Constructive Algorithms (1992)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-62559-3_19","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"W. Kahl","year":"1997","unstructured":"Kahl, W.: Algebraic graph derivations for graphical calculi. In: D\u2019Amore, F., Marchetti-Spaccamela, A., Franciosa, P.G. (eds.) WG 1996. LNCS, vol.\u00a01197, pp. 224\u2013238. Springer, Heidelberg (1997)"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1093\/jigpal\/6.2.259","volume":"6","author":"W. Kahl","year":"1998","unstructured":"Kahl, W.: Relational treatment of term graphs with bound variables. Logic J. IGPL\u00a06, 259\u2013303 (1998)","journal-title":"Logic J. IGPL"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/S0020-0255(99)00018-3","volume":"119","author":"W. Kahl","year":"1999","unstructured":"Kahl, W.: Relational matching for graphical calculi of relations. Inform. Sciences\u00a0119, 253\u2013273 (1999)","journal-title":"Inform. Sciences"},{"key":"11_CR20","volume-title":"Relation Algebras","author":"R. Maddux","year":"2006","unstructured":"Maddux, R.: Relation Algebras. Elsevier, Amsterdam (2006)"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14600-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T09:54:15Z","timestamp":1685699655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14600-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642145995","9783642146008"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14600-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}