Ke Li

• Approximate and optimal strategies for non-ambiguous and left linear term rewriting systems
• Chen Gongbo (Zhong gong yi da dai biao cong shu)
• Complexity of term rewriting
• Dag representation and optimization of rewriting
• Du Lala 3
• Du Lala da jie ju
• Du Lala sheng zhi ji 2.
• Du Lala sheng zhi ji =
• Lao She zai Xiagongfu
• Quan qiu di cheng ben hang kong
• Shi wan ge wei shi me
• Ying yu kou yu 1 miao zhong fan kai jiu neng shuo