Nondeterministic Specifications as a General Framework

Abstract

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.