Used together with:
structur
(1)
normal
(1)
form
(1)
optim
(1)
bound
(1)
Stem
gaifman$ (
all stems
)
1 papers:
LICS-2013-HeimbergKS
#bound
#normalisation
An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree (
LH
,
DK
,
NS
), pp. 63–72.
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
.