WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1065541157

Algebraic and Logic Programming International Conference Proceedings

This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics.

Open All Close All

type

about

http://schema.org/about

contributor

creator

description

http://schema.org/description

  • "This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics."@en
  • "This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics."
  • "This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997. The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods."

editor

genre

http://schema.org/genre

  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en
  • "Kongress"
  • "Electronic resources (Books)"@en
  • "Conference proceedings"@en

name

http://schema.org/name

  • "Algebraic and Logic Programming International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings"
  • "Algebraic and Logic Programming International Workshop Gaussig, GDR, November 14-18, 1988 Proceedings"
  • "Algebraic and logic programming : international workshop, gaussing, gdr, november 14-18, 1988, proceedings"
  • "Algebraic and logic programming : international workshop, Gaussig, GDR, november 14-18, 1988, proceedings"
  • "Algebraic and logic programming : international workshop Gaussig, GDR, November 14 - 18, 1988 : proceedings"
  • "Algebraic and Logic Programming : proceedings"
  • "Algebraic and Logic Programming International Conference Proceedings"
  • "Algebraic and Logic Programming International Conference Proceedings"@en
  • "Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings"
  • "Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings"@en
  • "Algebraic and Logic Programming International Workshop, Gaussig, Gdr, November 14-18, 1988 : Proceedings"@en
  • "Algebraic and Logic Programming International Workshop, Gaussig, Gdr, November 14-18, 1988 : Proceedings"
  • "Algebraic and logic programming : international workshop : Gaussig, GDR, November 14-18, 1988 : proceedings"@it
  • "Algebraic and Logic Programming"
  • "Algebraic and logic programming : international workshop, Gaussing, GDR, November 14-18, 1988 : proceedings"
  • "Algebraic and logic programming international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings"@en

workExample