Skip to main content
SpringerLink
Log in

Algebraic and Logic Programming

International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. J. Grabowski
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. P. Lescanne
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. W. Wechler
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. ACP with signals

    • J. A. Bergstra
    Pages 11-20

  3. Functional extensions to prolog: Are they needed?

    • Laurent Fribourg
    Pages 21-29

  4. Narrowing and resolution in logic-functional programming languages

    • Elio Giovannetti
    Pages 30-30

  5. Nondeterministic algebraic specifications and nonconfluent term rewriting

    • Heinrich Hussmann
    Pages 31-40

  6. OBJ: Programming with equalities, subsorts, overloading and parameterization

    • Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
    Pages 41-52

  7. Logic programming with polymorphically order-sorted types

    • Gert Smolka
    Pages 53-70

  8. Integrating logic programming and equational specification of abstract data types

    • Christoph Beierle, Udo Pletat
    Pages 71-82

  9. Narrowing with built-in theories

    • Alexander Bockmayr
    Pages 83-92

  10. A completion procedure for hierarchical conditional rewriting systems

    • Wadoud Bousdira
    Pages 93-107

  11. An effective method for handling initial algebras

    • Hubert Comon
    Pages 108-118

  12. Boolean valued models and incomplete specifications

    • Bernd I. Dahn
    Pages 119-126

  13. Types, modularisation and abstraction in logic programming

    • George Dayantis
    Pages 127-136

  14. Translating algebraic specifications to Prolog programs: A comparative study

    • K. Drosten
    Pages 137-146

  15. Rewrite rule systems for modal propositional logic

    • Annie Foret
    Pages 147-156

  16. A characterization of irreducible sets modulo left-linear term rewriting systems by tree automata

    • Z. Fülöp, S. Vágvölgyi
    Pages 157-157

  17. Functional data term models and semantic unification

    • Hans-Joachim Goltz
    Pages 158-167

  18. Modular algebraic specifications

    • Horst Hansen, Michael Löwe
    Pages 168-179

  19. Proving inductive theorems based on term rewriting systems

    • Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 180-190

  20. Jungle evaluation for efficient term rewriting

    • Berthold Hoffmann, Detlef Plump
    Pages 191-203
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation