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 × Spain
2 × USA
Collaborated with:
D.Kapur N.Dershowitz S.Mitra M.Okada H.Zhang P.Narendran
Talks about:
system (4) rewrit (4) termin (2) condit (2) prove (2) order (2) path (2) laboratori (1) converg (1) theori (1)

Person: G. Sivakumar

DBLP DBLP: Sivakumar:G=

Contributed to:

RTA 19971997
CADE 19921992
ALP 19901990
CADE 19881988
CADE 19861986
TAPSOFT, Vol.1: CAAP 19851985

Wrote 6 papers:

RTA-1997-KapurS #order #proving #term rewriting #termination
A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems (DK, GS), pp. 142–156.
CADE-1992-DershowitzMS #convergence #decidability
Decidable Matching for Convergent Systems (ND, SM, GS), pp. 589–602.
ALP-1990-DershowitzMS #equation
Equation Solving in Conditional AC-Theories (ND, SM, GS), pp. 283–297.
CADE-1988-DershowitzOS #canonical #term rewriting
Canonical Conditional Rewrite Systems (ND, MO, GS), pp. 538–549.
CADE-1986-KapurSZ #named
RRL: A Rewrite Rule Laboratory (DK, GS, HZ), pp. 691–692.
CAAP-1985-KapurNS #order #proving #term rewriting #termination
A Path Ordering for Proving Termination of Term Rewriting Systems (DK, PN, GS), pp. 173–187.

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.