Used together with:
result
(1)
reduct
(1)
uniform
(1)
theorem
(1)
extend
(1)
Stem
grollmann$ (
all stems
)
1 papers:
ICALP-1986-Regan
#reduction
#theorem
A Uniform Reduction Theorem — Extending a Result of J. Grollmann and A. Selman (
KWR
), pp. 324–333.
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
.
ICALP-1986-Regan #reduction #theorem
ICALP-1986-Regan #reduction #theorem