This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic programming has been very successful during the last decades and more and more systems compete in enhancing its expressive power. On the other hand, concepts like functions, equality theory, and modularity are particularly well handled in...

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9 13, 2002, in Saint-Gilles-les-Bains, Reunion Island, France. The major goal of the AMAST conferences is to promote research that may lead to setting software technology on a ?rm mathematical basis. This goal is achieved through a large international cooperation with contributions from both academia and industry. Developing a software technology on a mathematical basis p- duces software that is: (a) correct, and the correctness can be...

Scientific progress, more and more, makes it possible to relate disease to irreg ularities on a molecular basis. Both, diagnosis and cure can be targeted to a well defined biological structure. Modern medical research aims at the investigation of the interaction of molecules and bio-macro-molecules, formerly the area of chemis try, biochemistry and pharmacology. This series was founded to provide a vehicle for the dissemination of results in a multidisciplinary area of contemporary research. It will publish extensive review articles at a high level, that will relate a particular subject to...