Used together with:
specif
(1)
rewrit
(1)
term
(1)
nondeterminist
(1)
algebra
(1)
Stem
nonconflu$ (
all stems
)
1 papers:
ALP-1988-Hussmann
#algebra
#nondeterminism
#specification
#term rewriting
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting (
HH
), pp. 31–40.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.