公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1983 | ASSOCIATIVE-COMMUTATIVE REWRITING. | Dershowitz, Nachum; Josephson, N.Alan; Hsiang, Jieh; Plaisted, David A.; JIEH HSIANG | | | | |
2006 | Boolean Rings for Intersection-Based Satisfiability. | Dershowitz, Nachum; Hsiang, Jieh; Huang, Guan-Shieng; Kaiss, Daher; JIEH HSIANG | Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings | | | |
1986 | ORDERINGS FOR EQUATIONAL PROOFS. | Bachmair, Leo; Dershowitz, Nachum; Hsiang, Jieh; JIEH HSIANG | | | | |
1983 | Rewrite Methods for Clausal and Non-Clausal Theorem Proving. | Hsiang, Jieh; Dershowitz, Nachum; JIEH HSIANG | Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings | | | |
1983 | REWRITE METHODS FOR CLAUSAL AND NON-CLAUSAL THEOREM PROVING. | Hsiang, Jieh; Dershowitz, Nachum; JIEH HSIANG | Lecture Notes in Computer Science | | | |