Algebraic and logic programming. 4th international conference, ALP '94, Madrid, Spain, September 14--16, 1994. Proceedings (Q2565266)

The articles of this volume will be reviewed individually. The 2nd conference (1990) has been reviewed (see Zbl 0763.68011). Indexed articles: \textit{Palamidessi, C.}, Concurrent constraint programming (abstract), 1-2 [Zbl 0988.68679] \textit{Miller, Dale}, Specifications using multiple-conclusion logic programs (abstract), 3-4 [Zbl 0988.68742] \textit{Paige, Robert}, Viewing a program transformation system at work (abstract), 5 [Zbl 0988.68760] \textit{Codish, M.; Mashevitzky, G.}, Proving implications by algebraic approximation, 6-22 [Zbl 0988.68597] \textit{Bouhoula, Adel}, Sufficient completeness and parameterized proofs by induction, 23-40 [Zbl 0988.68601] \textit{Bidoit, M.; Hennicker, R.}, Proving behavioural theorems with standard first-order logic, 41-58 [Zbl 0988.03525] \textit{Werner, Andreas; Bockmayr, Alexander; Krischer, Stefan}, How to realize LSE narrowing, 59-76 [Zbl 0988.68555] \textit{Alpuente, M.; Falaschi, M.; Vidal, G.}, Compositional analysis for equational Horn programs, 77-94 [Zbl 0988.68561] \textit{Balbiani, P.}, Equation solving in projective planes and planar ternary rings, 95-113 [Zbl 0988.68838] \textit{Bueno, F.; Hermenegildo, M.; Montanari, U.; Rossi, F.}, From eventual to atomic and locally atomic CC programs: A concurrent semantics, 114-132 [Zbl 0988.68534] \textit{Volpe, P.}, Concurrent logic programming as uniform linear proofs, 133-149 [Zbl 0988.68509] \textit{Teusink, Frank}, Three-valued completion for abductive logic programs, 150-167 [Zbl 0988.68515] \textit{Antoy, Sergio; Middeldorp, Aart}, A sequential reduction strategy, 168-185 [Zbl 0988.68554] \textit{Gramlich, B.}, On modularity of termination and confluence properties of conditional rewrite systems, 186-203 [Zbl 0988.68558] \textit{Ferreira, M. C. F.; Zantema, H.}, Syntactical analysis of total termination, 204-222 [Zbl 0988.68556] \textit{Marchiori, Massimo}, Logic programs as term rewriting systems, 223-241 [Zbl 0988.68512] \textit{Jones, Neil D.; Rosendahl, Mads}, Higher-order minimal function graphs, 242-252 [Zbl 0988.68527] \textit{Kesner, Delia}, Reasoning about layered, wildcard and product patterns, 253-268 [Zbl 0988.68531] \textit{Bossi, Annalisa; Cocco, Nicoletta}, Preserving universal termination through unfold/fold, 269-286 [Zbl 0988.68513] \textit{Marchiori, Elena}, A logic for variable aliasing in logic programs, 287-304 [Zbl 0988.68506]