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 × France
1 × USA
Collaborated with:
P.M.Dung P.J.Stuckey
Talks about:
program (3) logic (2) fixpoint (1) approach (1) general (1) complet (1) semant (1) predic (1) normal (1) elimin (1)

Person: Kanchana Kanchanasut

DBLP DBLP: Kanchanasut:Kanchana

Contributed to:

ALP 19901990
NACLP 19891989

Wrote 3 papers:

ALP-1990-KanchanasutS #logic programming #source code
Eliminating Negation from Normal Logic Programs (KK, PJS), pp. 217–231.
NACLP-1989-DungK #on the #source code
On the Generalized Predicate Completion of Non-Horn Programs (PMD, KK), pp. 587–603.
NACLP-1989-DungK89a #approach #declarative #fixpoint #logic programming #semantics #source code
A Fixpoint Approach to Declarative Semantics of Logic Programs (PMD, KK), pp. 604–625.

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.