Hou Ping

Identifiers

• name variant Hou Ping 0.60 · backfill

Papers (1)

1. FO(FD): Extending classical logic with rule-based fixpoint definitions cs.LO · 2010 · author #1

Mentions

• 1007.3819 #1 · backfill · confidence 0.70 Hou Ping

Frequent Coauthors

• Broes De Cat 1 shared papers
• Marc Denecker 1 shared papers