{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:49:08Z","timestamp":1725558548106},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141270"},{"type":"electronic","value":"9783642141287"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14128-7_16","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T10:45:36Z","timestamp":1277808336000},"page":"172-188","source":"Crossref","is-referenced-by-count":4,"title":["Symbolic Domain Decomposition"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Carette","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan P.","family":"Sexton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"Sorge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen M.","family":"Watt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1305\/ndjfl\/1093634995","volume":"30","author":"W.D. Blizard","year":"1989","unstructured":"Blizard, W.D.: Multiset theory. Notre Dame Journal of Formal Logic\u00a030(1), 36\u201366 (Winter 1989)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1305\/ndjfl\/1093635499","volume":"31","author":"W.D. Blizard","year":"1990","unstructured":"Blizard, W.D.: Negative membership. Notre Dame Journal of Formal Logic\u00a031(3), 346\u2013368 (1990)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"16_CR3","doi-asserted-by":"crossref","DOI":"10.5962\/bhl.title.29413","volume-title":"An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities","author":"G. Boole","year":"1854","unstructured":"Boole, G.: An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. Walton and Maberly, London (1854), http:\/\/www.gutenberg.org\/etext\/15114"},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/BF01125427","volume":"28","author":"M.S. Burgin","year":"1992","unstructured":"Burgin, M.S.: Concept of multisets in cybernetics. Cybernetics and Systems Analysis\u00a028(3), 371\u2013469 (1992)","journal-title":"Cybernetics and Systems Analysis"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/1277548.1277560","volume-title":"Proc. of ISSAC 2007","author":"J. Carette","year":"2007","unstructured":"Carette, J.: A canonical form for piecewise defined functions. In: Proc. of ISSAC 2007, pp. 77\u201384. ACM Press, New York (2007)"},{"key":"16_CR6","volume-title":"Boole\u2019s Logic and Probability","author":"T. Hailperin","year":"1976","unstructured":"Hailperin, T.: Boole\u2019s Logic and Probability, 1st\/2nd edn. North-Holland Publishing Company, Amsterdam (1976)","edition":"1"},{"key":"16_CR7","unstructured":"Kahl, W.: Compositional syntax and semantics of tables. SQRL Report\u00a015, Department of Computing and Software, McMaster University (2003), http:\/\/www.cas.mcmaster.ca\/sqrl\/sqrl_reports.html"},{"issue":"2","key":"16_CR8","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/322248.322255","volume":"28","author":"M. Karr","year":"1981","unstructured":"Karr, M.: Summation in finite terms. J. ACM\u00a028(2), 305\u2013350 (1981)","journal-title":"J. ACM"},{"issue":"1","key":"16_CR9","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/0001-8708(92)90011-9","volume":"91","author":"D. Loeb","year":"1992","unstructured":"Loeb, D.: Sets with a negative number of elements. Advances in Mathematics\u00a091(1), 64\u201374 (1992)","journal-title":"Advances in Mathematics"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/1576702.1576747","volume-title":"Proc.\u00a0of ISSAC 2009","author":"A.P. Sexton","year":"2009","unstructured":"Sexton, A.P., Sorge, V., Watt, S.M.: Computing with abstract matrix structures. In: Proc.\u00a0of ISSAC 2009, pp. 325\u2013332. ACM Press, New York (2009)"},{"key":"16_CR11","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-642-02614-0_15","volume-title":"Intelligent Computer Mathematics","author":"A.P. Sexton","year":"2009","unstructured":"Sexton, A.P., Sorge, V., Watt, S.M.: Reasoning with generic cases in the arithmetic of abstract matrices. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009. LNCS (LNAI), vol.\u00a05625, pp. 138\u2013153. Springer, Heidelberg (2009)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/3-540-45523-X_17","volume-title":"Multiset Processing","author":"A. Syropoulos","year":"2001","unstructured":"Syropoulos, A.: Mathematics of multisets. In: Calude, C.S., Pun, G., Rozenberg, G., Salomaa, A. (eds.) Multiset Processing. LNCS, vol.\u00a02235, pp. 347\u2013358. Springer, Heidelberg (2001)"},{"issue":"8","key":"16_CR13","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1090\/S0002-9904-1932-05460-X","volume":"34","author":"H. Whitney","year":"1932","unstructured":"Whitney, H.: A logical expansion in mathematics. Bulletin of the American Mathematical Society\u00a034(8), 572\u2013579 (1932)","journal-title":"Bulletin of the American Mathematical Society"},{"issue":"3","key":"16_CR14","doi-asserted-by":"publisher","first-page":"405","DOI":"10.2307\/1968168","volume":"34","author":"H. Whitney","year":"1933","unstructured":"Whitney, H.: Characteristic functions and the algebra of logic. Annals of Mathematics\u00a034(3), 405\u2013414 (1933), http:\/\/www.jstor.org\/stable\/1968168","journal-title":"Annals of Mathematics"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14128-7_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T19:51:19Z","timestamp":1685649079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14128-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141270","9783642141287"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14128-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}