Zhaowei Xu

Identifiers

No identifiers captured yet.

Papers (4)

1. A Logic for Recursive Quantum Programs cs.LO · 2018 · author #1
2. Completeness of Hoare Logic over Nonstandard Models cs.LO · 2017 · author #1
3. On Completeness Results of Hoare Logic Relative to the Standard Model cs.LO · 2017 · author #1
4. A New Perspective for Hoare's Logic and Peano's Arithmetic cs.LO · 2013 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Wenhui Zhang 2 shared papers
• Yuefei Sui 2 shared papers
• Mingsheng Ying 1 shared papers
• Shenggang Ying 1 shared papers