Automatic decidability and combinability
Lynch, Christopher, Ranise, Silvio, Ringeissen, Christophe, Tran, Duc-Khanh
Published in Information and computation (01.07.2011)
Published in Information and computation (01.07.2011)
Get full text
Journal Article
SMELS: Satisfiability Modulo Equality with Lazy Superposition
Lynch, Christopher, Ta, Quang-Trung, Tran, Duc-Khanh
Published in Journal of automated reasoning (01.10.2013)
Published in Journal of automated reasoning (01.10.2013)
Get full text
Journal Article
Anomaly Detection in POSTFIX mail log using Principal Component Analysis
Tran, Cao-Phi, Tran, Duc-Khanh
Published in 2018 10th International Conference on Knowledge and Systems Engineering (KSE) (01.11.2018)
Published in 2018 10th International Conference on Knowledge and Systems Engineering (KSE) (01.11.2018)
Get full text
Conference Proceeding
ALCLM: A Description Logic over Lattice with Concept Modifiers
Duc-Khanh Tran
Published in 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE) (01.10.2015)
Published in 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE) (01.10.2015)
Get full text
Conference Proceeding
Combination of convex theories: Modularity, deduction completeness, and explanation
Tran, Duc-Khanh, Ringeissen, Christophe, Ranise, Silvio, Kirchner, Hélène
Published in Journal of symbolic computation (01.02.2010)
Published in Journal of symbolic computation (01.02.2010)
Get full text
Journal Article
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
Ranise, Silvio, Ringeissen, Christophe, Tran, Duc-Khanh
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Automatic Combinability of Rewriting-Based Satisfiability Procedures
Kirchner, Hélène, Ranise, Silvio, Ringeissen, Christophe, Tran, Duc-Khanh
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Combining Proof-Producing Decision Procedures
Ranise, Silvio, Ringeissen, Christophe, Tran, Duc-Khanh
Published in Frontiers of Combining Systems (2007)
Published in Frontiers of Combining Systems (2007)
Get full text
Book Chapter
Fuzzy linguistic first order logic based on refined hedge algebra
Duc-Khanh Tran, Minh-Tam Nguyen
Published in 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (01.07.2014)
Published in 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (01.07.2014)
Get full text
Conference Proceeding
Fuzzy linguistic propositional logic based on refined hedge algebra
Duc-Khanh Tran, Viet-Trung Vu, The-Vinh Doan, Minh-Tam Nguyen
Published in 2013 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (01.07.2013)
Published in 2013 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (01.07.2013)
Get full text
Conference Proceeding
On some series with gaps
Somu, Sai Teja, Haw, Johnathan, Nguyen, Vincent, Tran, Duc Van Khanh
Published in Journal of mathematical analysis and applications (01.12.2023)
Published in Journal of mathematical analysis and applications (01.12.2023)
Get full text
Journal Article