The following pages link to Shujun Zhang (Q1632780):
Displaying 4 items.
- Buckling induced by a topological defect in a chain (Q1632781) (← links)
- The mechanism of resistance-reducing/anti-adhesion and its application on biomimetic disc furrow opener (Q2047740) (← links)
- Transforming orthogonal inductive definition sets into confluent term rewrite systems (Q2141298) (← links)
- On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs (Q2163179) (← links)
