# Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting

```@article{Humann1992NondeterministicAS,
title={Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting},
author={Heinrich Hu\ssmann},
journal={J. Log. Program.},
year={1992},
volume={12},
pages={237-255}
}```
Algebraic specifications are generalized to the case of nondeterministic operations by admitting models with set-valued functions (multi-algebras). General (in particular, non-confluent) term rewriting systems are studied as a specification language for this semantic framework. A calculus for nondeterministic specifications is given which is similar to erm rewriting but which employs an additional determinacy predicate. Correctness, ground completeness and initiality results are given. Small… CONTINUE READING