Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings (Q2565251)

The articles of this volume will be reviewed individually. The 2nd conference (1990) has been reviewed (see Zbl 0763.68011). Indexed articles: \textit{Ehrig, H.; Parisi-Presicce, F.}, High-level-replacement systems for equational algebraic specifications, 3-20 [Zbl 0925.68311] \textit{Gramlich, Bernhard}, Generalized sufficient conditions for modular termination of rewriting, 53-58 [Zbl 0925.68263] \textit{Hermann, Miki}, On the relation between primitive recursion, schematization, and divergence, 115-127 [Zbl 0925.03172] \textit{Lysne, Olav}, Proof by consistency in constructive systems with final algebra semantics, 276-290 [Zbl 0925.68305] \textit{Hardin, Thérèse}, Eta-conversion for the languages of explicit substitutions, 306-321 [Zbl 0925.03089] \textit{Bachmair, Leo; Ganzinger, Harald; Waldmann, Uwe}, Theorem proving for hierarchic first-order theories, 420-434 [Zbl 0925.03074] \textit{Boudet, Alexandre; Contejean, Evelyne}, On \(n\)-syntactic equational theories, 446-457 [Zbl 0925.03159]