BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
H.Leung Y.C.Law C.K.Chiu
Talks about:
constraint (4) increment (2) program (2) concurr (2) toward (2) queri (2) logic (2) determinist (1) symmetri (1) process (1)

Person: Jimmy Ho-Man Lee

DBLP DBLP: Lee:Jimmy_Ho=Man

Contributed to:

SAC 20052005
SAC 19961996
ILPS 19941994
SAC 19941994

Wrote 4 papers:

SAC-2005-LawL #constraints #matrix #modelling #symmetry #using
Breaking value symmetries in matrix models using channeling constraints (YCL, JHML), pp. 371–376.
SAC-1996-LeeL #concurrent #constraints #incremental #query
Incremental querying in the concurrent CLP language IFD-Constraint Pandora (JHML, HfL), pp. 387–392.
ILPS-1994-ChiuL #constraints #logic programming #theorem proving #towards
Towards Practical Interval Constraint Solving in Logic Programming (CKC, JHML), pp. 109–123.
SAC-1994-LeeL #concurrent #constraints #incremental #logic programming #named #nondeterminism #query #towards
IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming (JHML, HfL), pp. 405–409.

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.