Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings (Q2565251)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 971575
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings |
scientific article; zbMATH DE number 971575 |
Statements
Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings (English)
0 references
28 January 1997
0 references
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]
0 references
Algebraic programming
0 references
Logic programming
0 references
Conference
0 references
Proceedings
0 references
Aachen (Germany)
0 references
ALP '92
0 references
