Abstract
The conclusions from chapter 1 are:
-
(1)
Classical term rewriting is unsound for nondeterministic specifications.
-
(2)
If the axioms are restricted to right-linear inclusion rules, classical term rewriting is sound and complete, however this restriction is not satisfactory for practical applications.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Birkhäuser Boston
About this chapter
Cite this chapter
Hussmann, H. (1993). Specifications with a Deterministic Basis. In: Nondeterminism in Algebraic Specifications and Algebraic Programs. Progress in Theoretical Computer Science. Birkhäuser Boston. https://doi.org/10.1007/978-1-4684-6834-2_3
Download citation
DOI: https://doi.org/10.1007/978-1-4684-6834-2_3
Publisher Name: Birkhäuser Boston
Print ISBN: 978-1-4684-6836-6
Online ISBN: 978-1-4684-6834-2
eBook Packages: Springer Book Archive