Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
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 |