Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings

DOI10.1007/3-540-50667-5MaRDI QIDQ1801227zbMATH OpenOpenAlexFDO

Authors Jan Grabowski, Pierre Lescanne, Wolfgang Wechler

Publication date 5 June 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-50667-5

zbMATH Keywords

Algebraic and logic programmingalgebraic specifications. Logic Programmingfunctional programmingGaussig (GDR)Proceedingsterm rewritingWorkshop

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) General topics in the theory of software (68N01) Logic programming (68N17) Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 49223
• scientific article; zbMATH DE number 44213
• Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings
• scientific article; zbMATH DE number 3888893
• scientific article; zbMATH DE number 3936467

Cited in

(7)

• Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings
• Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings
• Mathematical foundations of programming language semantics. 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8--10, 1987. Proceedings
• Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday.
• Algebraic and logic programming. 5th international conference, ALP '96, Aachen, Germany, September 25--27, 1996. Proceedings
• Algebraic and logic programming. 4th international conference, ALP '94, Madrid, Spain, September 14--16, 1994. Proceedings
• scientific article; zbMATH DE number 49223 (Why is no real title available?)

This page was built for publication: Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1801227)