MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Ting Zhang" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 18 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A proof of topological completeness of S4 on (0,1  
  • by Grigori Mints, Ting Zhang — 2005 — on the occasion of Helmet Schwitenberg’s 60th birthday, special issue in Annals of Mathematical Logic
  • …A proof of topological completeness for S4 in (0,1) Grigori Mints 1 and Ting Zhang 2 1 Philosophy…
  • Cited by 2 (0 self) – Add To MetaCart
  • Component Selection and Matching for IP-Based Design  
  • by Ting Zhang Stanford, Ting Zhang — 2001 — In Proc. Design, Automation and Test in Europe - DATE
  • …Component Selection and Matching for IP-Based Design Ting Zhang Stanford University Abstract…
  • Add To MetaCart
  • Theory Qualifying Exam 2  
  • by Algebraic Systems, Ting Zhang, Quantifier Elimination — 2003
  • …✬ ✫ The Feferman-Vaught Theory The first order properties of products of algebraic systems Ting…
  • Add To MetaCart
  • Linking STeP with SPIN  
  • by Anca Browne, Henny Sipma, Ting Zhang — 2000 — Proc. of the 7th International SPIN Workshops, volume 1885 of Lecture Notes in Computer Science
  • …Linking STeP with SPIN Anca Browne, Henny Sipma, Ting Zhang ? Computer Science Department Stanford…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB