The following pages link to Tie-Cheng Wang (Q1098331):
Displayed 9 items.
- Hierarchical deduction (Q1098332) (← links)
- Case studies of Z-module reasoning: Proving benchmark theorems from ring theory (Q1102357) (← links)
- Solving open problems in right alternative rings with Z-module reasoning (Q1825048) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- Z-module reasoning (Q3140017) (← links)
- (Q3193381) (← links)
- (Q3786023) (← links)
- (Q3801104) (← links)
- (Q5698150) (← links)