BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hsiang:Jieh

Facilitated 1 volumes:

RTA 1995Ed

Contributed to:

CIKM 20122012
KMIS 20102010
ECDL 20012001
ICALP 19911991
RTA 19911991
CADE 19901990
NACLP 19901990
RTA 19891989
ICALP 19871987
CADE 19861986
LICS 19861986
RTA 19851985
ICALP 19831983
DL 20002000
JCDL 20012001
TAPSOFT, Vol.2: CSE 19851985

Wrote 16 papers:

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.