Travelled to:1 × USA
Collaborated with:H.Zhang
Talks about:induct (2) theorem (1) remaind (1) resist (1) failur (1) chines (1) prove (1) cover (1) set (1) rrl (1)
Person: Xin Hua
DBLP: Hua:Xin
Contributed to:
1992Wrote 2 papers:
- CADE-1992-HuaZ #induction #named
- FRI: Failure-Resistant Induction in RRL (XH, HZ), pp. 691–695.
- CADE-1992-ZhangH #induction #proving #set #theorem
- Proving the Chinese Remainder Theorem by the Cover Set Induction (HZ, XH), pp. 431–445.