{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:03:32Z","timestamp":1725807812697},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540435617"},{"type":"electronic","value":"9783540460374"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46037-3_7","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T18:10:40Z","timestamp":1195236640000},"page":"76-90","source":"Crossref","is-referenced-by-count":13,"title":["Corresponding Regions in Euler Diagrams"],"prefix":"10.1007","author":[{"given":"John","family":"Howse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gemma","family":"Stapleton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Flower","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"7_CR1","unstructured":"L. Euler. Lettres a une princesse d\u2019allemagne, 1761."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"J. Gil, J. Howse, and S. Kent. Towards a formalization of constraint diagrams. In Proc Symp on Human-Centric Computing.IEEE Press, Sept 2001.","DOI":"10.1109\/HCC.2001.995241"},{"key":"7_CR3","unstructured":"E. Hammer. Logic and Visual Information.CSLI Publications, 1995."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"E. Hammer and S-J Shin. Euler\u2019s visual logic. In History and Philosophy of Logic, pages 1\u201329, 1998.","DOI":"10.1080\/01445349808837293"},{"key":"7_CR5","unstructured":"D. Harel. On visual formalisms. In J. Glasgow, N.H. Narayan, and B. Chandrasekaran, editors, Diagrammatic Reasoning, pages 235\u2013271.MIT Press, 1998."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"J. Howse, F. Molina, and J. Taylor. On the completeness and expressiveness of spider diagram systems.In Proceedings of Diagrams 2000, pages 26\u201341.Springer-Verlag, 2000.","DOI":"10.1007\/3-540-44590-0_8"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"S. Kent and J. Howse. Constraint trees. In A. Clark and J. Warner, editors, Advances in object modelling with ocl. Spinger Verlag, to appear, 2002.","DOI":"10.1007\/3-540-45669-4_12"},{"key":"7_CR8","unstructured":"F. Molina. Reasoning with extended Venn-Peirce diagrammatic systems. PhD thesis, University of Brighton, 2001."},{"key":"7_CR9","unstructured":"OMG. UML specification, version 1.3. Available from http:\/\/www.omg.org ."},{"key":"7_CR10","unstructured":"C. Peirce. Collected Papers, volume Vol.4. Harvard Univ.Press, 1933."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"S.-J. Shin. The Logical Status of Diagrams. Cam bridge University Press, 1994.","DOI":"10.1017\/CBO9780511574696"},{"key":"7_CR12","unstructured":"G. Stapleton. Comparing regions in spider diagrams. Available at http:\/\/www.it.brighton.ac.uk\/research\/vmg\/papers.html ."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"J. Venn. On the diagrammatic and mechanical representation of propositions and reasonings. Phil.Mag, 1880.","DOI":"10.1080\/14786448008626877"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46037-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T15:34:50Z","timestamp":1556984090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46037-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540435617","9783540460374"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-46037-3_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}