The following pages link to Hongyan Tan (Q1666121):
Displayed 10 items.
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- Semantic consistency checking in building ontology from heterogeneous sources (Q2336201) (← links)
- Optimal spatial matrix filter design for array signal preprocessing (Q2336541) (← links)
- Approximate equivalence of the hybrid automata with Taylor theory (Q2336779) (← links)
- (Q3123888) (← links)
- Model checking technology and tool development based on Groebner base (Q3401771) (← links)
- An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics (Q4236072) (← links)
- (Q4240685) (← links)
- (Q4333131) (← links)
- (Q4384625) (← links)