Duc-Khanh Tran

From MaRDI portal
Person:1041592

Available identifiers

zbMath Open tran.duc-khanhMaRDI QIDQ1041592

List of research outcomes





PublicationDate of PublicationType
Automatic image-based stress analysis by the scaled boundary finite element method2024-07-01Paper
Resolution in linguistic first order logic based on linear symmetrical hedge algebra2019-08-22Paper
Extending fuzzy logics with many hedges2018-10-16Paper
Combination of convex theories: modularity, deduction completeness, and explanation2009-12-03Paper
Combining Proof-Producing Decision Procedures2008-09-16Paper
Automatic Combinability of Rewriting-Based Satisfiability Procedures2008-05-27Paper
Theoretical Aspects of Computing – ICTAC 20052006-11-01Paper
Theoretical Aspects of Computing - ICTAC 20042005-11-30Paper

Research outcomes over time

This page was built for person: Duc-Khanh Tran

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1041592&oldid=11969551"
Powered by MediaWiki