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