Collaborated with:
∅
Talks about:
constraint
(1)
common
(1)
solv
(1)
lisp
(1)
Person:
Stephan Frank
DBLP: Frank:Stephan
Contributed to:
2007
Wrote 1 papers:
ILC-2007-Frank
#constraints
#lisp
#theorem proving
Constraint solving in common Lisp (
SF
), p. 10.
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
.