`Travelled to:`

1 × Belgium

1 × France

1 × USA

`Collaborated with:`

S.K.Debray M.V.Hermenegildo P.López-García

`Talks about:`

program (4) logic (4) analysi (2) estim (2) cost (2) granular (1) complex (1) automat (1) comput (1) lower (1)

## Person: Nai-Wei Lin

### DBLP: Lin:Nai=Wei

### Contributed to:

### Wrote 4 papers:

- ILPS-1997-DebrayLHL #bound #estimation #logic programming #source code
- Lower Bound Cost Estimation for Logic Programs (SKD, PLG, MVH, NWL), pp. 291–305.
- SAS-1994-DebrayGHL #logic programming #source code
- Estimating the Computational Cost of Logic Programs (SKD, PLG, MVH, NWL), pp. 255–265.
- ICLP-1991-DebrayL #analysis #automation #complexity #logic programming #source code
- Automatic Complexity Analysis of Logic Programs (SKD, NWL), pp. 599–613.
- PLDI-1990-DebrayLH #analysis #logic programming #source code
- Task Granularity Analysis in Logic Programs (SKD, NWL, MVH), pp. 174–188.