@inproceedings{78f4ab9e44e0467ba811061fcd305bbf,
title = "Algebraic properties of idempotent substitutions",
abstract = "This paper presents an algebra of idempotent substitutions whose operations have many properties. We provide an algorithm to compute these operations and we show how they are related to the standard composition. The theory of Logic Programming can be rewritten in terms of these new operations. The advantages are that both the operational and the declarative semantics of Horn Clause Logic can be formalized in a compositional way and the proofs of standard results, like the switching lemma, get easier and more intuitive. Moreover, this formalization can be naturally extended to a parallel computational model, and therefore it can be regarded as a basis for a theory of concurrent logic programming.",
author = "Catuscia Palamidessi",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1990.; 17th International Colloquium on Automata, Languages and Programming, 1990 ; Conference date: 16-07-1990 Through 20-07-1990",
year = "1990",
month = jan,
day = "1",
doi = "10.1007/bfb0032046",
language = "English",
isbn = "9783540528265",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "386--399",
editor = "Paterson, \{Michael S.\}",
booktitle = "Automata, Languages and Programming - l7th International Colloquium, Proceedings",
}