{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:17:11Z","timestamp":1725560231622},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_10","type":"book-chapter","created":{"date-parts":[[2010,7,26]],"date-time":"2010-07-26T14:51:07Z","timestamp":1280155867000},"page":"69-83","source":"Crossref","is-referenced-by-count":0,"title":["Fragments of Spider Diagrams of Order and Their Relative Expressiveness"],"prefix":"10.1007","author":[{"given":"Aidan","family":"Delaney","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gem","family":"Stapleton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"327","volume-title":"Proceedings of OOPSLA 1997","author":"S. Kent","year":"1997","unstructured":"Kent, S.: Constraint diagrams: Visualizing invariants in object oriented modelling. In: Proceedings of OOPSLA 1997, pp. 327\u2013341. ACM Press, New York (1997)"},{"key":"10_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/b94030","volume-title":"The Logic System of Concept Graphs with Negations: And its Relationship to Prediacte Logic","author":"F. Dau","year":"2003","unstructured":"Dau, F.: The Logic System of Concept Graphs with Negations: And its Relationship to Prediacte Logic. Springer, Heidelberg (2003)"},{"key":"10_CR3","volume-title":"Logic and Visual Information","author":"E. Hammer","year":"1995","unstructured":"Hammer, E.: Logic and Visual Information. CSLI Publications, Stanford (1995)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/s10270-003-0044-8","volume":"3","author":"N. Swoboda","year":"2004","unstructured":"Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler\/Venn homogeneous and Euler\/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling\u00a03, 136\u2013149 (2004)","journal-title":"Journal on Software and System Modeling"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J. Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS Journal of Computation and Mathematics\u00a08, 145\u2013194 (2005)","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"10_CR6","volume-title":"The Logical Status of Diagrams","author":"S.J. Shin","year":"1994","unstructured":"Shin, S.J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)"},{"issue":"6","key":"10_CR7","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1093\/logcom\/exi041","volume":"15","author":"G. Stapleton","year":"2005","unstructured":"Stapleton, G., Howse, J., Taylor, J.: A decidable constraint diagram reasoning system. Journal of Logic and Computation\u00a015(6), 975\u20131008 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"10_CR8","unstructured":"Delaney, A., Stapleton, G.: Spider diagrams of order. In: International Workshop on Visual Languages and Logic (September 2007)"},{"key":"10_CR9","unstructured":"Stapleton, G., Masthoff, J.: Incorporating negation into visual logics: A case study using Euler diagrams. In: Visual Languages and Computing 2007, pp. 187\u2013194. Knowledge Systems Institute (2007)"},{"issue":"6","key":"10_CR10","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1093\/logcom\/14.6.857","volume":"14","author":"G. Stapleton","year":"2004","unstructured":"Stapleton, G., Thompson, S., Howse, J., Taylor, J.: The expressiveness of spider diagrams. Journal of Logic and Computation\u00a014(6), 857\u2013880 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"10_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-87730-1_18","volume-title":"Diagrammatic Representation and Inference","author":"A. Delaney","year":"2008","unstructured":"Delaney, A., Taylor, J., Thompson, S.: Spider diagrams of order and a hierarchy of star-free regular languages. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol.\u00a05223, pp. 172\u2013187. Springer, Heidelberg (2008)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1016\/0022-0000(82)90016-2","volume":"25","author":"W. Thomas","year":"1982","unstructured":"Thomas, W.: Classifying regular events in symbolic logic. Journal of Computer and System Sciences\u00a025, 360\u2013376 (1982)","journal-title":"Journal of Computer and System Sciences"},{"key":"10_CR13","volume-title":"Finite Model Theory","author":"H.D. Ebbinghaus","year":"1991","unstructured":"Ebbinghaus, H.D., Flum, J.: Finite Model Theory, 2nd edn. Springer, Heidelberg (1991)","edition":"2"},{"key":"10_CR14","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538516.001.0001","volume-title":"Model Theory","author":"M. Manzano","year":"1999","unstructured":"Manzano, M.: Model Theory. Oxford University Press, Oxford (1999)"},{"key":"10_CR15","unstructured":"Delaney, A., Stapleton, G., Taylor, J., Thompson, S.: A diagrammatic characterisation of commutative star-free regular languages (in preparation)"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T18:47:03Z","timestamp":1711651623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14600-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642145995","9783642146008"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14600-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}