Duc-Khanh Tran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2004–2014
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | IPMU | Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra. | Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran |
| 2008 | ATVA | SMELS: Satisfiability Modulo Equality with Lazy Superposition. | Christopher Lynch, Duc-Khanh Tran |
| 2007 | CADE | Automatic Decidability and Combinability Revisited. | Christopher Lynch, Duc-Khanh Tran |
| 2006 | LPAR | Automatic Combinability of Rewriting-Based Satisfiability Procedures. | Hlne Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2005 | ICTAC | On Superposition-Based Satisfiability Procedures and Their Combination. | Hlne Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2004 | ICTAC | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. | Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |