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

DOI10.1007/3-540-50667-5zbMath0708.68001OpenAlexW2497156078MaRDI QIDQ1801227

Pierre Lescanne, Wolfgang Wechler, Jan Grabowski

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

ProceedingsWorkshopfunctional programmingterm rewritingAlgebraic and logic programmingalgebraic specifications. Logic ProgrammingGaussig (GDR)

Mathematics Subject Classification ID

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

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