|
Search the dblp DataBase
Bo Yi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Yu Ping, Jianguo Lu, Terence C. Lau, Kostas Kontogiannis, Tack Tong, Bo Yi
Migration of legacy web applications to enterprise JavaTM environments net.data® to JSPTM transformation. [Citation Graph (0, 0)][DBLP] CASCON, 2003, pp:223-237 [Conf]
- Bo Yi, Jiafu Xu
Analogical Type Theory. [Citation Graph (0, 0)][DBLP] DISCO, 1993, pp:33-44 [Conf]
- Jianguo Lu, Bo Yi
An Approach to Analogical Theorem Proving. [Citation Graph (0, 0)][DBLP] IWAR, 1992, pp:285-294 [Conf]
- Bo Yi, Jiafu Xu
Analogical Type Theory. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1995, v:19, n:1-3, pp:3-24 [Journal]
- Bo Yi, Jiafu Xu
Analogy Calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:113, n:2, pp:211-230 [Journal]
Search in 0.009secs, Finished in 0.009secs
|