Duc-Khanh Tran
According to our database1,
Duc-Khanh Tran
authored at least 17 papers
between 2004 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
2018
0
1
2
3
4
1
1
1
1
1
1
2
2
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the 10th International Conference on Knowledge and Systems Engineering, 2018
2015
Proceedings of the 2015 Seventh International Conference on Knowledge and Systems Engineering, 2015
2014
Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014
Proceedings of the IEEE International Conference on Fuzzy Systems, 2014
2013
J. Autom. Reason., 2013
Resolution in Linguistic Propositional Logic Based on Linear Symmetrical Hedge Algebra.
Proceedings of the Knowledge and Systems Engineering, 2013
Proceedings of the FUZZ-IEEE 2013, 2013
2011
2010
J. Symb. Comput., 2010
2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
2007
Conception de Procédures de Décision par Combinaison et Saturation. (Design of decision procedures by combination and saturation)
PhD thesis, 2007
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007
Proceedings of the Automated Deduction, 2007
2006
Proceedings of the Logic for Programming, 2006
2005
Proceedings of the Theoretical Aspects of Computing, 2005
2004
Proceedings of the Theoretical Aspects of Computing, 2004