Rewriting with a nondeterministic choice operator
Under an Elsevier user license
open archive
Keywords
Term-rewriting systems
confluence
nondeterminism
equational rewriting
Cited by (0)
- ∗
Present affiliation: Leibniz Center for Research in Computer Science, Institute of Mathematics and Computer Science, Hebrew University, Gavat-Ram, 91904 Jerusalem, Israel.
Copyright © 1988 Published by Elsevier B.V.