Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
The articles of this volume will be reviewed individually under the abbreviation ``Algebraic and logic programming, Proc. Int. Workshop, Gaussig/GDR 1988, Lect. Notes Comput. Sci. 343 (1989)''. This volume contains twenty-three papers and three abstracts of papers presented at a workshop on Algebraic and Logic Programming. Equational programming, algebraic specifications, relational logic programming, relations between the functional and the relational paradigms, and term rewriting are considered from several different angles.
algebraic specifications. Logic Programming
scientific article; zbMATH DE number 194635