Algebraic and logic programming. 6th international joint conference, ALP '97 - HOA '97, Southampton, GB, September 3--5, 1997. Proceedings (Q1367070)

The articles of this volume will be reviewed individually. The preceding conference (5th, 1996) has been reviewed (see Zbl 0856.68011). Indexed articles: \textit{Alpuente, M.; Falaschi, M.; Moreno, G.; Vidal, G.}, Safe folding/unfolding with conditional narrowing, 1-15 [Zbl 0886.68033] \textit{Antoy, Sergio}, Optimal non-deterministic functional logic computations, 16-30 [Zbl 0886.68034] \textit{Codish, Michael; Taboch, Cohavit}, A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints, 31-45 [Zbl 0889.68026] \textit{Geser, Alfons; Gorlatch, Sergei}, Parallelizing functional programs by generalization, 46-60 [Zbl 0886.68035] \textit{Kirchner, Claude; Ringeissen, Christophe}, Higher-order equational unification via explicit substitutions, 61-75 [Zbl 0888.03007] \textit{Steggles, L. J.}, Parameterised higher-order algebraic specifications, 76-98 [Zbl 0884.68087] \textit{Suzuki, Taro; Nakagawa, Koji; Ida, Tetsuo}, Higher-order lazy narrowing calculus: A computational model for a higher-order functional logic language, 99-113 [Zbl 0941.03536] \textit{Aoto, Takahito; Toyama, Yoshihito}, On composable properties of term rewriting systems, 114-128 [Zbl 0884.68069] \textit{Ohlebusch, Enno}, Conditional term graph rewriting, 144-158 [Zbl 0889.68087] \textit{Caires, Luís; Monteiro, Luís}, Proof net semantics of proof search computation, 194-208 [Zbl 0885.03031] \textit{Barthe, Gilles; Kamareddine, Fairouz; Ríos, Alejandro}, Explicit substitutions for the \(\lambda\Delta\)-calculus, 209-223 [Zbl 0884.03009] \textit{Muñoz H., César A.}, A left-linear variant of \(\lambda\sigma\), 224-239 [Zbl 0884.03012] \textit{Khasidashvili, Zurab; Ogawa, Mizuhito}, Perpetuality and uniform normalization, 240-255 [Zbl 0884.03010] \textit{Abdennadher, Slim; Schütz, Heribert}, Model generation and existentially quantified variables and constraints, 256-272 [Zbl 0889.03010]