Automatic decidability and combinability von Lynch, Christopher, Ranise, Silvio, Ringeissen, Christophe, Tran, Duc-Khanh

Volltext

Extending fuzzy logics with many hedges von Le, Van Hung, Tran, Duc Khanh

Volltext

SMELS: Satisfiability Modulo Equality with Lazy Superposition von Lynch, Christopher, Ta, Quang-Trung, Tran, Duc-Khanh

Volltext

Autonomous self-healing in a stretchable polybutadiene-based urethane and eutectic gallium indium conductive composite von Khanh, Tran Duc, Joo, Jinho, Kim, Jong-Woong

Volltext

Breathable, self-healable, washable and durable all-fibrous triboelectric nanogenerator for wearable electronics von Khanh, Tran Duc, Meena, Jagan Singh, Choi, Su Bin, Kim, Jong-Woong

Volltext

Resolution Method in Linguistic Propositional Logic von Nguyen, Thi-Minh-Tam, Tran, Duc-Khanh

Volltext

Combination of convex theories: Modularity, deduction completeness, and explanation von Tran, Duc-Khanh, Ringeissen, Christophe, Ranise, Silvio, Kirchner, Hélène

Volltext

Self-Repairing and Energy-Harvesting Triboelectric Sensor for Tracking Limb Motion and Identifying Breathing Patterns von Meena, Jagan Singh, Khanh, Tran Duc, Jung, Seung-Boo, Kim, Jong-Woong

Volltext

Highly stretchable and robust textile-based capacitive mechanical sensor for human motion detection von Meena, Jagan Singh, Choi, Su Bin, Khanh, Tran Duc, Shin, Hyun Sik, Choi, Jun Sang, Joo, Jinho, Kim, Jong-Woong

Volltext

Self-repairing thermoplastic polyurethane-based triboelectric nanogenerator with molybdenum disulfide charge-trapping for advanced wearable devices von Tran, Duc Khanh, Veeralingam, Sushmitha, Kim, Jong-Woong

Volltext

Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn von Ranise, Silvio, Ringeissen, Christophe, Tran, Duc-Khanh

Volltext

On Superposition-Based Satisfiability Procedures and Their Combination von Kirchner, Hélène, Ranise, Silvio, Ringeissen, Christophe, Tran, Duc Khanh

Volltext

On some series with gaps von Somu, Sai Teja, Haw, Johnathan, Nguyen, Vincent, Tran, Duc Van Khanh

Volltext

Automatic Combinability of Rewriting-Based Satisfiability Procedures von Kirchner, Hélène, Ranise, Silvio, Ringeissen, Christophe, Tran, Duc-Khanh

Volltext

Automatic Decidability and Combinability Revisited von Lynch, Christopher, Tran, Duc-Khanh

Volltext

SMELS: Satisfiability Modulo Equality with Lazy Superposition von Lynch, Christopher, Tran, Duc-Khanh

Volltext

Combining Proof-Producing Decision Procedures von Ranise, Silvio, Ringeissen, Christophe, Tran, Duc-Khanh

Volltext

On Some Doubly Logarithmic Integrals von Tran, Duc Van Khanh

Volltext bestellen

Fuzzy linguistic propositional logic based on refined hedge algebra von Duc-Khanh Tran, Viet-Trung Vu, The-Vinh Doan, Minh-Tam Nguyen

Volltext

On Sums of Practical Numbers and Polygonal Numbers von Somu, Sai Teja, Tran, Duc Van Khanh

Volltext bestellen