{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:14:52Z","timestamp":1737090892024,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430636"},{"type":"electronic","value":"9783540455233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45523-x_6","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T02:15:24Z","timestamp":1179281724000},"page":"103-121","source":"Crossref","is-referenced-by-count":0,"title":["Multiset Constraints and P Systems"],"prefix":"10.1007","author":[{"given":"Agostino","family":"Dovier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianfranco","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"6_CR1","unstructured":"K. R. Apt. From Logic Programming to Prolog. International Series in Computer Science. Prentice Hall, 1997."},{"key":"6_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/BFb0056631","volume-title":"Principles of Declarative Programming","author":"P. Arenas-S\u00e1nchez","year":"1998","unstructured":"P. Arenas-S\u00e1nchez, F. J. L\u00f3pez-Fraguas, M. Rodr\u00edguez-Artalejo Embedding Multiset Constraints into a Lazy Functional Logic LanguageIn C. Palamidessi, H. Glaser, K. Meinke, editors, Principles of Declarative Programming, LNCS 1490, Springer-Verlag, pp. 429\u2013444, 1998."},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J. B\u0103natre","year":"1993","unstructured":"J. B\u0103natre and D. Le M\u00e9tayer. Programming by Multiset Transformation. Communications of the ACM, 36(1):98\u2013111. January 1993.","journal-title":"Communications of the ACM"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, vol. 96 (1992) 217\u2013248.","journal-title":"Theoretical Computer Science"},{"key":"6_CR5","unstructured":"J.-P. Bodeveix, C. Percebois, S. Majoul. An Object-Oriented Coordination Model based on Multiset Rewriting. In Proc. of Ninth International Conference on Parallel and Distributed Computing Systems. Dijon, France, 1996."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"I. Cervesato, N. Durgin, P. Lincoln, J. Mitchell, and A. Scedrov. Relating Strands and Multiset Rewriting for Security Protocol Analysis In P. Syverson, ed., 13th IEEE Computer Security Foundations Workshop\u2014CSFW\u201900, pp. 35\u201351, 2000.","DOI":"10.1109\/CSFW.2000.856924"},{"key":"6_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/3-540-60983-0_6","volume-title":"Extensions of Logic Programming","author":"P. Ciancarini","year":"1996","unstructured":"P. Ciancarini, D. Fogli, and M. Gaspari. A Logic Language Based on GAMMA-like Multiset Rewriting. In R. Dyckho., H. Herre, P. Schroeder-Heister eds., Extensions of Logic Programming, 5th International Workshop, LNCS 1050, 1996, pp. 83\u2013101."},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/3-540-49019-1_13","volume-title":"Foundations of Software Science and Computation Structure","author":"E. Dantsin","year":"1999","unstructured":"E. Dantsin and A. Voronkov. A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees. In W. Thomas ed., Foundations of Software Science and Computation Structure, LNCS Vol. 1578, pages 180\u2013196, 1999."},{"issue":"2\/3","key":"6_CR9","doi-asserted-by":"crossref","first-page":"201","DOI":"10.3233\/FI-1998-36235","volume":"36","author":"A. Dovier","year":"1998","unstructured":"A. Dovier, A. Policriti, and G. Rossi. A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms. Fundamenta Informaticae, 36(2\/3):201\u2013234, 1998.","journal-title":"Fundamenta Informaticae"},{"key":"6_CR10","unstructured":"A. Dovier, C. Piazza, and G. Rossi. A uniform approach to constraintsolving for lists, multisets, compact lists, and sets. Technical Report, Dipartimento di Matematica, Universit`a di Parma, no. 235, July 2000 (available at http:\/\/prmat.math.unipr.it\/-gianfr\/PAPERS\/RRPR235.ps )."},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(95)00147-6","volume":"28","author":"A. Dovier","year":"1996","unstructured":"A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi. log: A Language for Programming in Logic with Finite Sets. Journal of Logic Programming, 28(1):1\u201344, 1996.","journal-title":"Journal of Logic Programming"},{"issue":"5","key":"6_CR12","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1145\/365151.365169","volume":"22","author":"A. Dovier","year":"2000","unstructured":"A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. Sets and constraint logic programming. ACM Transaction on Programming Language and Systems (TOPLAS), 22(5) 2000, pp. 861\u2013931.","journal-title":"ACM Transaction on Programming Language and Systems"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"G. Gupta and E. Pontelli. Optimization Schemas for Parallel Implementation of Nondeterministic Languages. Int. Parallel Proc. Symposium, IEEE, pp. 428\u2013435, 1997.","DOI":"10.1109\/IPPS.1997.580937"},{"key":"6_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/3-540-56891-3_29","volume-title":"A Parallel Programming Style and Its Algebra of Programs","author":"C. Hankin","year":"1993","unstructured":"C. Hankin, D. Le M\u00e9tayer, and D. Sands. A Parallel Programming Style and Its Algebra of Programs. In Proc. Conf. on Parallel Architecture and Languages Europe (PARLE 93), vol. 694 of LNCS, 367\u2013378, Springer-Verlag, Berlin, 1993."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"J. Herbrand. Recherches sur la theorie de la demonstration. Master\u2019s thesis, Universit\u2019e de Paris, 1930. Also in Ecrits logiques de Jacques Herbrand, PUF, Paris, 1968.","DOI":"10.3917\/puf.herbr.1968.01.0031"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19-20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19-20:503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"issue":"1\u20133","key":"6_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","volume":"37","author":"J. Jaffar","year":"1998","unstructured":"J. Jaffar, M. J. Maher, K. Marriott, and P. J. Stuckey. The Semantics of Constraint Logic Programs. Journal of Logic Programming 37 (1\u20133), 1\u201346, 1998.","journal-title":"Journal of Logic Programming"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"K. Marriott, B. Meyer, and K. B. Wittenburg. A survey of visual language specification and recognition. In K. Marriott and B. Meyer, editors, Visual Language Theory pages 5\u201385, Springer, 1998.","DOI":"10.1007\/978-1-4612-1676-6_2"},{"key":"6_CR19","unstructured":"A. Mal\u2019cev. Axiomatizable Classes of Locally Free Algebras of Various Types. In The Metamathematics of Algebraic Systems, Collected Papers, Ch. 23. North Holland, 1971."},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"A. Martelli and U. Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems 4 (1982), 258\u2013282.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"6_CR21","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. P\u0103un","year":"2000","unstructured":"G. P\u0103un. Computing with Membranes. Journal of Computer and System Science, 61(1):108\u2013143, 2000.","journal-title":"Journal of Computer and System Science"},{"issue":"1","key":"6_CR22","first-page":"75","volume":"6","author":"G. P\u0103un","year":"2001","unstructured":"G. P\u0103un. Attacking NP Complete Problems. Journal of Automata, Languages and Combinatorics, 6(1):75\u201390, 2001.","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"6_CR23","unstructured":"G. Rossi. The Languages CLP(SET) and CLP(BAG) User Manuals and Running Interpreters. In http:\/\/prmat.math.unipr.it\/-gianfr\/setlog.Home.html ."},{"issue":"6","key":"6_CR24","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1093\/jigpal\/6.6.901","volume":"6","author":"A. Tzouvaras","year":"1998","unstructured":"A. Tzouvaras. The Linear Logic of Multisets. Logic Journal of the IGPL, Vol. 6, No. 6, pp. 901\u2013916, 1998.","journal-title":"Logic Journal of the IGPL"}],"container-title":["Lecture Notes in Computer Science","Multiset Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45523-X_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T09:14:52Z","timestamp":1737018892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45523-X_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430636","9783540455233"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45523-x_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}