`Travelled to:`

1 × France

1 × Germany

1 × Italy

3 × Spain

4 × USA

`Collaborated with:`

M.P.Bonacina M.Rusinowitch J.Hong N.Dershowitz B.Chen H.I.Ho H.Chen J.Jouannaud ∅ M.K.Srivas S.Anantharaman J.Mzali L.Bachmair H.Chen R.Chen C.Lee C.Tsai T.Hsu

`Talks about:`

theorem (5) rewrit (5) prove (5) complet (3) museum (3) digit (3) base (3) program (2) exhibit (2) environ (2)

## Person: Jieh Hsiang

### DBLP: Hsiang:Jieh

### Facilitated 1 volumes:

### Contributed to:

### Wrote 16 papers:

- CIKM-2012-ChenLTH
- Information preservation in static index pruning (RCC, CJL, CMT, JH), pp. 2487–2490.
- KMIS-2010-HoH #effectiveness #library #network #social
- Effectiveness of Social Networking in a University Library Environment (HIH, JH), pp. 307–310.
- ECDL-2001-HongCH #content management #multi
- XSL-based Content Management for Multi-presentation Digital Museum Exhibitions (JSH, BHC, JH), pp. 378–389.
- ICALP-1991-ChenH #logic programming
- Logic Programming with Recurrence Domains (HC, JH), pp. 20–34.
- RTA-1991-BonacinaH #on the #proving #theorem proving
- On Fairness of Completion-Based Theorem Proving Strategies (MPB, JH), pp. 348–360.
- CADE-1990-HsiangJ #proving #theorem proving #tutorial
- Tutorial on Rewrite-Based Theorem Proving (JH, JPJ), p. 684.
- NACLP-1990-BonacinaH #semantics #source code
- Operational and Denotational Semantics of Rewrite Programs (MPB, JH), pp. 449–464.
- RTA-1989-AnantharamanHM #named #term rewriting
- SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion (SA, JH, JM), pp. 533–537.
- ICALP-1987-HsiangR #equation #on the #problem #word
- On Word Problems in Equational Theories (JH, MR), pp. 54–71.
- CADE-1986-HsiangR #proving #theorem proving
- A New Method for Establishing Refutational Completeness in Theorem Proving (JH, MR), pp. 141–152.
- LICS-1986-BachmairDH #equation #order #proving
- Orderings for Equational Proofs (LB, ND, JH), pp. 346–357.
- RTA-1985-Hsiang #proving #term rewriting #theorem proving
- Two Results in Term Rewriting Theorem Proving (JH), pp. 301–324.
- ICALP-1983-HsiangD #proving #theorem proving
- Rewrite Methods for Clausal and Non-Clausal Theorem Proving (JH, ND), pp. 331–346.
- DL-2000-HongCH
- A digital museum of Taiwanese butterflies (JSH, HYC, JH), pp. 260–261.
- JCDL-2001-HongCHH #content management
- Content management for digital museum exhibitions (JSH, BHC, JH, TYH), p. 450.
- CSE-1985-HsiangS #data type #prolog #reasoning
- A PROLOG Environment for Developing and Reasoning about Data Types (JH, MKS), pp. 276–293.