Yuefei Sui

Identifiers

No identifiers captured yet.

Papers (5)

1. Completeness of Hoare Logic over Nonstandard Models cs.LO · 2017 · author #2
2. On Completeness Results of Hoare Logic Relative to the Standard Model cs.LO · 2017 · author #3
3. The Prioritized Inductive Logic Programs cs.AI · 2002 · author #2
4. A Logical Framework for Convergent Infinite Computations cs.LO · 2001 · author #3
5. The Limits of Horn Logic Programs cs.LO · 2001 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Ke Xu 3 shared papers
• Shilong Ma 3 shared papers
• Wenhui Zhang 2 shared papers
• Zhaowei Xu 2 shared papers
• Wei Li 1 shared papers