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:
1 × Denmark
1 × Italy
1 × Portugal
1 × Spain
Collaborated with:
D.D.Schreye P.Schneider-Kamp J.Giesl
Talks about:
termin (4) program (3) logic (3) interpret (2) polynomi (2) analysi (2) depend (2) base (2) framework (1) polytool (1)

Person: Manh Thang Nguyen

DBLP DBLP: Nguyen:Manh_Thang

Contributed to:

LOPSTR 20092009
LOPSTR 20072007
LOPSTR 20062006
ICLP 20052005

Wrote 4 papers:

LOPSTR-2009-Schneider-KampGN #dependence #framework #logic programming #source code #termination
The Dependency Triple Framework for Termination of Logic Programs (PSK, JG, MTN), pp. 37–51.
LOPSTR-2007-NguyenGSS #analysis #dependence #graph #logic programming #source code #termination
Termination Analysis of Logic Programs Based on Dependency Graphs (MTN, JG, PSK, DDS), pp. 8–22.
LOPSTR-2006-NguyenS #automation #named #polynomial #proving #termination
Polytool: Proving Termination Automatically Based on Polynomial Interpretations (MTN, DDS), pp. 210–218.
ICLP-2005-NguyenS #analysis #logic programming #polynomial #source code #termination
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs (MTN, DDS), pp. 311–325.
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.