Advertisement

Algebraic and Logic Programming

International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings

  • Editors
  • J. Grabowski
  • P. Lescanne
  • W. Wechler

Part of the Lecture Notes in Computer Science book series (LNCS, volume 343)

Table of contents

  1. Front Matter
  2. J. A. Bergstra
    Pages 11-20
  3. Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
    Pages 41-52
  4. Alexander Bockmayr
    Pages 83-92
  5. Hans-Joachim Goltz
    Pages 158-167
  6. Horst Hansen, Michael Löwe
    Pages 168-179
  7. Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 180-190
  8. Berthold Hoffmann, Detlef Plump
    Pages 191-203
  9. Dongbo Liu, Deyi Li
    Pages 214-222
  10. Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
    Pages 223-232
  11. Jia-Huai You
    Pages 245-254

Other volumes

  1. Algebraic and Logic Programming
    International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings
  2. International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings

About these proceedings

Introduction

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.

Keywords

Algorithms Automat Resolution algorithm automata fuzzy logic programming programming language proving semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-50667-5
  • Copyright Information Akademie-Verlag Berlin 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50667-6
  • Online ISBN 978-3-540-46063-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site