Used together with:
constraint
(1)
view
(1)
techniqu
(1)
solv
(1)
combin
(1)
Stem
oint$ (
all stems
)
1 papers:
RTA-1995-BaaderS
#algebra
#constraints
#perspective
#theorem proving
Combination of Constraint Solving Techniques: An Algebraic POint of View (
FB
,
KUS
), pp. 352–366.
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
.