BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Israel
Collaborated with:

Talks about:
languag (2) databas (2) deduct (2) determinist (1) hifunlog (1) function (1) program (1) express (1) higher (1) extend (1)

Person: Yeh-Heng Sheng

DBLP DBLP: Sheng:Yeh=Heng

Contributed to:

SIGMOD 19911991
ICLP 19901990
SIGMOD 19901990

Wrote 3 papers:

SIGMOD-1991-Sheng #database #deduction #nondeterminism
A Non-deterministic Deductive Database Language (YHS), pp. 188–197.
CLP-1990-Sheng90 #higher-order #logic programming #relational
HIFUNLOG : Logic Programming with Higher-order Relational Functions (YHS), pp. 529–545.
SIGMOD-1990-Sheng #database #deduction #named #power of
IDLOG: Extending the Expressive Power of Deductive Database Languages (YHS), pp. 54–63.

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.