公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
1994 | A Category Theory Approach to Completion-Based Theorem Proving Strategies | Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG | Journal of Information Science and Engineering | |||
1994 | Distributed Deduction by Clause-Diffusion | Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG | Fundamenta Informaticae | |||
1995 | Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius Prover | Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG | Journal of Symbolic Computation | 9 | 6 | |
1994 | Towards a Foundation of Completion Procedures as Semidecision Procedures | Bonacina, M. P.; 項潔; Hsiang, Jieh | Theoretical Computer Science | 27 | 21 |