The following pages link to Ting Zhang (Q2432766):
Displayed 7 items.
- Decision procedures for term algebras with integer constraints (Q2432767) (← links)
- (Q2753760) (← links)
- Automated Reasoning (Q5307055) (← links)
- Automated Deduction – CADE-20 (Q5394610) (← links)
- Verifying Balanced Trees (Q5434520) (← links)
- Theorem Proving in Higher Order Logics (Q5464659) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897772) (← links)