Nondeterministic Specifications as a General Framework

  • Heinrich Hussmann
Part of the Progress in Theoretical Computer Science book series (PTCS)


At this point, the presented theory has reached a stage, where it is interesting to investigate the relationship to classical concepts like the theory of term rewriting and equational logic as well as logic programming. It will turn out that equational logic and (confluent) term rewriting can be seen as special cases of the new theory. It also will be shown that a special variant of the theory has very close connections to algebraic and logic programming.


General Framework Logic Program Logic Programming Function Symbol Predicate Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Boston 1993

Authors and Affiliations

  • Heinrich Hussmann
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Germany

Personalised recommendations