{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:31:37Z","timestamp":1778301097313,"version":"3.51.4"},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"value":"3540528261","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0032046","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T01:05:31Z","timestamp":1134263131000},"page":"386-399","source":"Crossref","is-referenced-by-count":25,"title":["Algebraic properties of idempotent substitutions"],"prefix":"10.1007","author":[{"given":"Catuscia","family":"Palamidessi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"K. Apt. Introduction to logic programming (revised and extended version). Technical Report CS-R8826, Centre for Mathematics and Computer Science, Amsterdam, 1988. To appear as a chapter in Handbook of Theoretical Computer Science, North-Holland (J. van Leeuwen, editor)."},{"key":"30_CR2","unstructured":"J. de Bakker and J. Kok. Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog. In Proc. of the International Conference on Fifth Generation Computer Systems, pages 347\u2013355, Tokyo, Japan, 1988. OHMSHA, LTD. Extended Abstract, full version available as CWI report CS-8834. To appear on Theoretical Computer Science."},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"F. de Boer, J. Kok, C. Palamidessi, and J. Rutten. Control flow versus logic: a denotational and a declarative model for Guarded Horn Clauses. In A. Kreczmar and G. Mirkowska, editors, Proc. of the Symposium on Mathematical Foundations of Computer Science, volume 379 of Lecture Notes in Computer Science, pages 165\u2013176. Springer Verlag, 1989.","DOI":"10.1007\/3-540-51486-4_64"},{"key":"30_CR4","first-page":"621","volume-title":"Proc. of the Sixth International Conference on Logic Programming","author":"F. Boer de","year":"1989","unstructured":"F. de Boer, J. Kok, C. Palamidessi, and J. Rutten. Semantic models for a version of PARLOG. In G. Levi and M. Martelli, editors, Proc. of the Sixth International Conference on Logic Programming, pages 621\u2013636, Lisboa, 1989. MIT Press. Extended version to appear in Theoretical Computer Science."},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"F. de Boer, J. Kok, C. Palamidessi, and J. Rutten. From failure to success: Comparing a denotational and a declarative semantics for Horn Clause Logic. In Proc. of the International Workshop on Semantics for Concurrency, Lecture Notes in Computer Science. Springer Verlag, 1990.","DOI":"10.1007\/978-1-4471-3860-0_4"},{"key":"30_CR6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0747-7171(85)80027-4","volume":"1","author":"E. Eder","year":"1985","unstructured":"E. Eder. Properties of substitutions and unifications. Journal of Symbolic Computation, 1:31\u201346, 1985.","journal-title":"Journal of Symbolic Computation"},{"key":"30_CR7","series-title":"Series in Logic Programming","first-page":"993","volume-title":"Proc. of the Fifth International Conference on Logic Programming","author":"M. Falaschi","year":"1988","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A new declarative semantics for logic languages. In R. A. Kowalski and K. A. Bowen, editors, Proc. of the Fifth International Conference on Logic Programming, Series in Logic Programming, pages 993\u20131005, Seattle, USA, 1988. MIT press, Cambridge, Mass."},{"issue":"3","key":"30_CR8","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative modeling of the operational behaviour of logic languages. Theoretical Computer Science, 69(3):289\u2013318, 1989.","journal-title":"Theoretical Computer Science"},{"key":"30_CR9","series-title":"Technical Report","volume-title":"An unfolding reactive semantics for concurrent constraint programming","author":"M. Gabbrielli","year":"1990","unstructured":"M. Gabbrielli and G. Levi. An unfolding reactive semantics for concurrent constraint programming. Technical Report TR..\/90, Dipartimento di Informatica, Universit\u00e0 di Pisa, Pisa, 1990."},{"key":"30_CR10","unstructured":"H. Gaifman, M. J. Maher, and E. Shapiro. Reactive Behaviour semantics for Concurrent Constraint Logic Programs. In E. Lusk and R. Overbeck, editors, North American Conference on Logic Programming, 1989."},{"key":"30_CR11","first-page":"320","volume-title":"Proc. of the Third IEEE Symposium on Logic In Computer Science","author":"R. Gerth","year":"1988","unstructured":"R. Gerth, M. Codish, Y. Lichtenstein, and E. Shapiro. Fully abstract denotational semantics for Concurrent Prolog. In Proc. of the Third IEEE Symposium on Logic In Computer Science, pages 320\u2013335. IEEE Computer Society Press, New York, 1988."},{"key":"30_CR12","unstructured":"G. Huet. Resolution d'Equations dans des Languages d'Order 1, 2,...\u03c9. PhD thesis, Univ. Paris VII, 1976."},{"key":"30_CR13","volume-title":"Conclog: a Methodological Approach to Concurrent Logic Programming","author":"J.-M. Jacquet","year":"1989","unstructured":"J.-M. Jacquet. Conclog: a Methodological Approach to Concurrent Logic Programming. PhD thesis, Facult\u00e9s Universitaires Notre-Dame de la Paix, University of Namur, Belgium, 1989."},{"key":"30_CR14","first-page":"111","volume-title":"14th ACM Principles of Programming Languages Conference","author":"J. Jaffar","year":"1987","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In 14th ACM Principles of Programming Languages Conference, pages 111\u2013119, Munich, F.R.G., 1987. ACM, New York."},{"key":"30_CR15","unstructured":"J. Jaffar, J.-L. Lassez, and M. Maher. A logic programming language scheme. In D. de Groot and G. Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 441\u2013468. Prentice Hall, 1986."},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"J. Kok. A compositional semantics for Concurrent Prolog. In R. Cori and M. Wirsing, editors, Proc. Fifth Symposium on Theoretical Aspects of Computer Science, volume 294 of Lecture Notes in Computer Science, pages 373\u2013388. Springer Verlag, 1988.","DOI":"10.1007\/BFb0035860"},{"key":"30_CR17","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J. L. Lassez","year":"1988","unstructured":"J. L. Lassez, M. J. Maher, and K. Marriot. Unification Revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgann Kaufmann, Los Altos, 1988."},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"J. Lloyd. Foundations of logic programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"30_CR19","series-title":"Series in Logic Programming","first-page":"858","volume-title":"Proc. of the Fourth International Conference on Logic Programming","author":"M. J. Maher","year":"1987","unstructured":"M. J. Maher. Logic semantics for a class of committed-choice programs. In J.-L. Lassez, editor, Proc. of the Fourth International Conference on Logic Programming, Series in Logic Programming, pages 858\u2013876, Melbourne, 1987. MIT Press."},{"key":"30_CR20","series-title":"Technical Report","volume-title":"A fixpoint semantics for Guarded Horn Clauses","author":"C. Palamidessi","year":"1988","unstructured":"C. Palamidessi. A fixpoint semantics for Guarded Horn Clauses. Technical Report CS-R8833, Centre for Mathematics and Computer Science, Amsterdam, 1988."},{"key":"30_CR21","unstructured":"C. Palamidessi. Algebraic properties of idempotent substitutions. Technical Report TR-33\/89, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1989."},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"V. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, january 1989. To be published by the MIT Press.","DOI":"10.1145\/96709.96733"},{"key":"30_CR23","volume-title":"Conference Record of the Annual ACM Symposium on Principles of Programming Languages","author":"V. Saraswat","year":"1990","unstructured":"V. Saraswat and M. Rinard. Concurrent constraint programming. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM, New York, 1990."},{"issue":"4","key":"30_CR24","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden van","year":"1976","unstructured":"M. van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733\u2013742, 1976.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0032046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:20:13Z","timestamp":1683307213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540528261"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0032046","relation":{},"subject":[]}}