`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: Nguyen:Manh_Thang

### Contributed to:

### 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.