Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Q1801227)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings |
scientific article |
Statements
Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (English)
0 references
5 June 1993
0 references
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.
0 references
Algebraic and logic programming
0 references
Proceedings
0 references
Workshop
0 references
Gaussig (GDR)
0 references
functional programming
0 references
algebraic specifications. Logic Programming
0 references
term rewriting
0 references
