Manh Thang Nguyen

Identifiers

• name variant Manh Thang Nguyen 0.60 · backfill

Papers (1)

1. Polytool: polynomial interpretations as a basis for termination analysis of Logic programs cs.PL · 2009 · author #1

Mentions

• 0912.4360 #1 · backfill · confidence 0.70 Manh Thang Nguyen

Frequent Coauthors

• Danny De Schreye 1 shared papers
• J\"urgen Giesl 1 shared papers
• Peter Schneider-Kamp 1 shared papers